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

break printed runtime into hours:minutes:seconds

Browse source
This commit is contained in:
Eric House 2011-01-24 22:19:02 -08:00
parent 825cda9125
commit 4ae8c76959
1 changed files with 8 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -241,7 +241,7 @@ run_cmds() {
PIDS[$KEY]=$! PIDS[$KEY]=$!
else else
sleep 2 # make sure it's had some time sleep 2 # make sure it's had some time
kill ${PIDS[$KEY]} kill ${PIDS[$KEY]} || true
PIDS[$KEY]=0 PIDS[$KEY]=0
check_game $KEY check_game $KEY
fi fi
@ -268,4 +268,10 @@ run_cmds
print_stats print_stats
wait wait
echo "*********$0 finished: $(date) (took $(($(date +%s)-$STARTTIME)) seconds)**************"
SECONDS=$(($(date +%s)-$STARTTIME))
HOURS=$((SECONDS/3600))
SECONDS=$((SECONDS%3600))
MINUTES=$((SECONDS/60))
SECONDS=$((SECONDS%60))
echo "*********$0 finished: $(date) (took $HOURS:$MINUTES:$SECONDS)**************"