Miroirs/xwords
1
0
Fork 0
mirror of git://xwords.git.sourceforge.net/gitroot/xwords/xwords synced 2025-01-07 05:24:46 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

print index of game being killed so easier to find it in the list of

Browse source 
tiles-per-game
This commit is contained in:
Eric House 2015-05-03 14:02:30 -07:00
parent ef28886bc8
commit 49dc8e7d10
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
xwords4/linux/scripts/discon_ok2.sh
View file

@ -418,7 +418,7 @@ check_game() {
echo -n "Closing $CONNNAME [$(date)]: " echo -n "Closing $CONNNAME [$(date)]: "
# kill_from_logs $OTHERS $KEY # kill_from_logs $OTHERS $KEY
for ID in $OTHERS $KEY; do for ID in $OTHERS $KEY; do
echo -n "${LOGS[$ID]}, " echo -n "${ID}:${LOGS[$ID]}, "
kill_from_log ${LOGS[$ID]} || /bin/true kill_from_log ${LOGS[$ID]} || /bin/true
close_device $ID $DONEDIR "game over" close_device $ID $DONEDIR "game over"
done done