diff options
| author | tomsmeding <hallo@tomsmeding.nl> | 2015-04-27 11:37:48 +0200 |
|---|---|---|
| committer | tomsmeding <hallo@tomsmeding.nl> | 2015-04-27 11:38:39 +0200 |
| commit | 9717c710aa0ff35b7f7d0da521b6abd8d50257ad (patch) | |
| tree | f72e2b22c5c69e716070eb71dac7e5143cf6bdce | |
| parent | 48423632f6d0861aa2457a91db7af0c33e71c589 (diff) | |
Fix tail killed error
| -rw-r--r-- | .gitignore | 1 | ||||
| -rwxr-xr-x | competition.py | 1 | ||||
| -rwxr-xr-x | fullcompMT.sh | 4 |
3 files changed, 3 insertions, 3 deletions
@@ -1,6 +1,7 @@ competitions/ playerlogs/ gamevisuals/ +competitionstubs/ gluon neutrino diff --git a/competition.py b/competition.py index 2582288..3a21115 100755 --- a/competition.py +++ b/competition.py @@ -285,7 +285,6 @@ while True: sys.exit(1) move=parsemove(line) if move==False or not isvalid(board,player,move): - print("move =",move,"player =",player) print("P"+str(player)+" made an invalid move: '"+line+"'.") endgame=True break diff --git a/fullcompMT.sh b/fullcompMT.sh index ece635f..66604a3 100755 --- a/fullcompMT.sh +++ b/fullcompMT.sh @@ -15,10 +15,10 @@ FIFONAME=fullcompMT_output_fifo.fifo [[ -e $FIFONAME ]] && rm $FIFONAME mkfifo fullcompMT_output_fifo.fifo -tail -F $FIFONAME & +tail -F "$FIFONAME" & TAILPID=$! -trap "rm $FIFONAME; kill $TAILPID; ./fullcompstats.py" EXIT +trap "kill $TAILPID; rm $FIFONAME; ./fullcompstats.py" EXIT DATE_FMT="%Y-%m-%d %H:%M:%S" |