Miroirs/xwords
1
0
Fork 0
mirror of git://xwords.git.sourceforge.net/gitroot/xwords/xwords synced 2025-01-29 08:34:37 +01:00
Code Issues Projects Releases Packages Wiki Activity

exit when number of core files changes, not if it's non-zero

Browse source
This commit is contained in:
Eric House 2013-07-20 12:52:32 -07:00
parent 13c234dfab
commit 3a14b12cc5
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -28,6 +28,7 @@ BOARD_SIZES_OLD=(15)
BOARD_SIZES_NEW=(15) BOARD_SIZES_NEW=(15)
NAMES=(UNUSED Brynn Ariela Kati Eric) NAMES=(UNUSED Brynn Ariela Kati Eric)
SEND_CHAT='' SEND_CHAT=''
CORE_COUNT=$(ls core.* 2>/dev/null | wc -l)
declare -A PIDS declare -A PIDS
declare -A APPS declare -A APPS
@ -468,8 +469,8 @@ run_cmds() {
[ 0 -ge $COUNT ] && break [ 0 -ge $COUNT ] && break
NOW=$(date '+%s') NOW=$(date '+%s')
[ $NOW -ge $ENDTIME ] && break [ $NOW -ge $ENDTIME ] && break
if ls core.* >/dev/null 2>&1; then if [ $CORE_COUNT -ne "$(ls core.* 2>/dev/null | wc -l)" ]; then
echo "core file found; exiting..." echo "number of core files changed; exiting..."
killall "$(basename $APP_NEW)" killall "$(basename $APP_NEW)"
break break
fi fi