Miroirs/xwords
1
0
Fork 0
mirror of git://xwords.git.sourceforge.net/gitroot/xwords/xwords synced 2025-02-05 20:45:49 +01:00
Code Issues Projects Releases Packages Wiki Activity

include date in output

Browse source
This commit is contained in:
ehouse 2010-03-31 02:46:29 +00:00
parent 2d740bd4b0
commit daa84bf4e2
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
xwords4/linux/scripts/playme.sh
View file

@ -4,7 +4,6 @@ HOSTNAME=localhost
ROOM_ADD="" ROOM_ADD=""
NGAMES=10 NGAMES=10
PORT=10999 PORT=10999
DBUG=0
HOW_LONG=360 HOW_LONG=360
DICT=dict.xwd DICT=dict.xwd
@ -45,7 +44,7 @@ do_one() {
$EXE -u -o -0 -C "$ROOM" -a $HOSTNAME -r Relay -d $DICT -p $PORT \ $EXE -u -o -0 -C "$ROOM" -a $HOSTNAME -r Relay -d $DICT -p $PORT \
$SERVER >/dev/null 2>>${LOG_FILE} & $SERVER >/dev/null 2>>${LOG_FILE} &
PID=$! PID=$!
echo "launched $ROOM (pid=$PID)" echo "$(date): launched $ROOM (pid=$PID)"
END_TIME=$(($(date +%s) + $HOW_LONG)) END_TIME=$(($(date +%s) + $HOW_LONG))
while [ -d /proc/$PID ]; do while [ -d /proc/$PID ]; do
@ -56,7 +55,7 @@ do_one() {
elif [ ! -d /proc/$PID ]; then elif [ ! -d /proc/$PID ]; then
break break
elif [ $(date +%s) -ge $END_TIME ]; then elif [ $(date +%s) -ge $END_TIME ]; then
echo "timing out $ROOM ($PID)" echo "$(date): timing out $ROOM ($PID)"
break break
fi fi
done done