From d9b155d2a3c817819558cef1ab9fe3ee3682498c Mon Sep 17 00:00:00 2001
From: cassio <cassiopc@gmail.com>
Date: Mon, 29 Oct 2018 16:24:56 +0100
Subject: extra check in file names

---
 tools/boca-submit-run | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/boca-submit-run b/tools/boca-submit-run
index 9de52bd..ab1cd57 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"
-- 
cgit v1.2.3