diff options
Diffstat (limited to 'tools/boca-submit-run-cron')
| -rwxr-xr-x | tools/boca-submit-run-cron | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/boca-submit-run-cron b/tools/boca-submit-run-cron index 83f5b41..64d55ee 100755 --- a/tools/boca-submit-run-cron +++ b/tools/boca-submit-run-cron @@ -15,6 +15,14 @@ if [ -d /root/submissions ]; then for i in `ls /root/submissions/*.bocarun`; do if [ "$i" != "/root/submissions/placeholder.bocarun" ]; then $runaux "$i" + res=$? + if [ "$res" == "2" ]; then + echo "$i: time-out - this will automatically retry soon" + fi + if [ "$res" == "0" ]; then + mv "$i" "${i}.processed" + fi fi done fi + |