fix

fabiocicerchia · Feb 22, 2012 · 509621a · 509621a
1 parent 20f685b
commit 509621a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/restore.sh b/restore.sh
@@ -37,7 +37,7 @@ echo "--------------------------------------------------------------------------
 export BASEDIR=$PWD
 export HOMEDIR=$HOME
 export ENVDIR=$1
-if [ ! -d "$BASEDIR/configurations/$ENVDIR" ]; then
+if [ ! -f "$BASEDIR/configurations/$ENVDIR" ]; then
     echo "ERROR: Invalid environment directory"
     exit 1
 fi