diff options
| author | cassio <cassiopc@gmail.com> | 2018-10-29 15:37:15 +0000 |
|---|---|---|
| committer | cassio <cassiopc@gmail.com> | 2018-10-29 15:37:15 +0000 |
| commit | 1b68edba58dac20687e0c020e64ef1797410f30a (patch) | |
| tree | 43afc4f5230bc623b64ab6f07af22cda993a5c36 /tools | |
| parent | d9b155d2a3c817819558cef1ab9fe3ee3682498c (diff) | |
| download | boca-1b68edba58dac20687e0c020e64ef1797410f30a.tar.gz boca-1b68edba58dac20687e0c020e64ef1797410f30a.zip | |
save direct runs also as processed in local storage
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 |