From 67edb8d525d0931ed423e6cc7fdd0778b8d11823 Mon Sep 17 00:00:00 2001 From: Florian Dold Date: Fri, 4 Mar 2016 15:23:07 +0100 Subject: githook --- githooks/merchant/post-receive | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) (limited to 'githooks') diff --git a/githooks/merchant/post-receive b/githooks/merchant/post-receive index 54afab2..77a817d 100755 --- a/githooks/merchant/post-receive +++ b/githooks/merchant/post-receive @@ -5,13 +5,20 @@ import os lines = sys.stdin.readlines() -updated = {} +updated = set() for line in lines: - old, new, name = line.split() + try: + old, new, name = line.split() + except ValueError: + print("unexpected format") + os.exit(1) updated.add(name) if "refs/heads/test" in updated: - os.system("echo merchant | timeout 1s tee rebuild") - print("updating merchant") + ret = os.system("echo merchant | timeout 1s tee /home/test/rebuild >/dev/null") + if ret != 0: + print("merchant update failed") + else: + print("updating merchant") -- cgit v1.2.3