From 27df4b156f72ecc38deab92eb887ca46ec5470a4 Mon Sep 17 00:00:00 2001
From: afedward <afedward>
Date: Fri, 9 Jan 2009 21:50:33 +0000
Subject: [PATCH] Fixed the scripts.  AFID should now properly run.

---
 Robust/src/ourjava  | 7 ++++---
 Robust/src/ourjavac | 7 ++++---
 2 files changed, 8 insertions(+), 6 deletions(-)

diff --git a/Robust/src/ourjava b/Robust/src/ourjava
index 2fa3dd7f..22a396eb 100755
--- 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 71c94904..e8e764c0 100755
--- 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
-- 
2.34.1