diff --git a/src/Misc/layoutbin/update.sh.template b/src/Misc/layoutbin/update.sh.template old mode 100644 new mode 100755 index c09cc1d5b..ad542cc5c --- a/src/Misc/layoutbin/update.sh.template +++ b/src/Misc/layoutbin/update.sh.template @@ -28,13 +28,13 @@ date "+[%F %T-%4N] Waiting for $runnerprocessname ($runnerpid) to complete" >> " while [ -e /proc/$runnerpid ] do date "+[%F %T-%4N] Process $runnerpid still running" >> "$logfile" 2>&1 - ping -c 2 127.0.0.1 >nul + sleep 2 done date "+[%F %T-%4N] Process $runnerpid finished running" >> "$logfile" 2>&1 # start re-organize folders date "+[%F %T-%4N] Sleep 1 more second to make sure process exited" >> "$logfile" 2>&1 -ping -c 2 127.0.0.1 >nul +sleep 1 # the folder structure under runner root will be # ./bin -> bin.2.100.0 (junction folder)