# HG changeset patch # User Christophe Lincoln # Date 1306479958 -7200 # Node ID d59cb7bee773bab0e57d8f2daee87c0503f8ec47 # Parent c004eb1b16add3ad48fa192950bf744893d5ddac cooker: trap INT and TERM when checking commit diff -r c004eb1b16ad -r d59cb7bee773 cooker --- a/cooker Fri May 27 08:45:01 2011 +0200 +++ b/cooker Fri May 27 09:05:58 2011 +0200 @@ -382,7 +382,11 @@ echo "" echo "Checking for commits" | log_commits separator | tee -a $LOGS/commits.log + echo $$ > $pidfile + trap 'echo -e "\nCooker stopped: PID $$\n" && \ + rm -f $pidfile $command && exit 1' INT TERM + echo "Cooker PID : $$" | log_commits echo "Cooker date : $(date '+%Y-%m-%d %H:%M:%S')" | log_commits