Fixed the scripts. AFID should now properly run.

diff --git a/Robust/src/ourjava b/Robust/src/ourjava
index 2fa3dd7fbed36f18f91fbb5671e879785cee861c..22a396eb4121bd0914a70bb63d7c32d8f2d31a45 100755 (executable)
--- a/Robust/src/ourjava
+++ b/Robust/src/ourjava
@@ -1,5 +1,5 @@
 #!/bin/bash
-if [ -n $DISABLEAFID ]
+if [ -n ${DISABLEAFID:-""} ]
 then
 java $@
 else
@@ -9,12 +9,13 @@ if [ -z $OLDPATH ]
 then
 export OLDPATH=$PATH
 export PATH=$PATH:~/.AFID/
-if [ ! -a ~/research/Robust/.afidconfig ]
+if [ ! -e ~/research/Robust/.afidconfig ]
 then
 echo "project=Compiler" > ~/research/Robust/.afidconfig
 echo "user=$USER" >> ~/research/Robust/.afidconfig
 echo "text/visual=visual" >> ~/research/Robust/.afidconfig
 echo "postURL=http://afid.eecs.uci.edu/afid/upload_file.php" >> ~/research/Robust/.afidconfig
+echo "backgroundSVN=false" >> ~/research/Robust/.afidconfig
 ~/.AFID/SaveTestCase --create-exclude-file
 fi
 ~/.AFID/SaveTestCase java $@
@@ -24,4 +25,4 @@ fi
 else
 java $@
 fi
-fi
\ No newline at end of file
+fi

diff --git a/Robust/src/ourjavac b/Robust/src/ourjavac
index 71c949045f3c44294382eb409d1f267afeec8cdd..e8e764c03cc5df5caa0df255a8a4b1ee91c363c8 100755 (executable)
--- a/Robust/src/ourjavac
+++ b/Robust/src/ourjavac
@@ -1,5 +1,5 @@
 #!/bin/bash
-if [ -n $DISABLEAFID ]
+if [ -n ${DISABLEAFID:-""} ]
 then
 javac $@
 else
@@ -9,12 +9,13 @@ if [ -z $OLDPATH ]
 then
 export OLDPATH=$PATH
 export PATH=$PATH:~/.AFID/
-if [ ! -a ~/research/Robust/.afidconfig ]
+if [ ! -e ~/research/Robust/.afidconfig ]
 then
 echo "project=Compiler" > ~/research/Robust/.afidconfig
 echo "user=$USER" >> ~/research/Robust/.afidconfig
 echo "text/visual=visual" >> ~/research/Robust/.afidconfig
 echo "postURL=http://afid.eecs.uci.edu/afid/upload_file.php" >> ~/research/Robust/.afidconfig
+echo "backgroundSVN=false" >> ~/research/Robust/.afidconfig
 ~/.AFID/SaveTestCase --create-exclude-file
 fi
 ~/.AFID/FindSource javac $@
@@ -24,4 +25,4 @@ fi
 else
 javac $@
 fi
-fi
\ No newline at end of file
+fi