diff options
| author | Bruno Cesar Ribas <brunoribas@gmail.com> | 2018-11-05 19:23:17 +0000 |
|---|---|---|
| committer | Bruno Cesar Ribas <brunoribas@gmail.com> | 2018-11-05 19:23:17 +0000 |
| commit | 87cb46dc671b84a5cfcb665cb9f02e050595529b (patch) | |
| tree | 1543911f7934e1e775852a6fb1b5d7e6590beea5 /tools/boca-submit-run | |
| parent | d069fc757c591bda3cfabcd55ded730ff7d27348 (diff) | |
| parent | 336e0c032cc0f9e9547853f814ebffdfd00c5e2d (diff) | |
| download | boca-87cb46dc671b84a5cfcb665cb9f02e050595529b.tar.gz boca-87cb46dc671b84a5cfcb665cb9f02e050595529b.zip | |
Merge remote-tracking branch 'origin/develc' into devel
Diffstat (limited to 'tools/boca-submit-run')
| -rwxr-xr-x | tools/boca-submit-run | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/boca-submit-run b/tools/boca-submit-run index d2455e2..8f53838 100755 --- a/tools/boca-submit-run +++ b/tools/boca-submit-run @@ -74,8 +74,12 @@ if [ -r "$5" ]; then fi nom=`echo -n "$5" | perl -MURI::Escape -lne 'print uri_escape($_)'` + if [ "$nom" != "$5" ]; then + echo "Invalid file name" + exit 1 + fi for BOCASERVER in `echo $BOCASERVERS | tr ';' ' '`; do - $runroot "$BOCASERVER" "$1" "$2" "$3" "$4" "`basename $5`" "$5" + $runroot "$BOCASERVER" "$1" "$2" "$3" "$4" "`basename $nom`" "$nom" done else echo "file $5 not found/readable" |