diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/boca-submit-run-root | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/boca-submit-run-root b/tools/boca-submit-run-root index ad94aad..04cec99 100755 --- a/tools/boca-submit-run-root +++ b/tools/boca-submit-run-root @@ -83,7 +83,7 @@ if [ "$7" != "" ]; then mv "$nom" "/root/submissions/`basename $nom .tmp`" echo "Run submission included in the queue -- it shall appear in the system later when connection is available" else - [ -f "$nom" ] && rm -f $nom + [ -f "$nom" ] && mv "$nom" "/root/submissions/`basename $nom .tmp`.processed" fi fi fi |