From 509621a5a57537b0b12527046dea02414685daf2 Mon Sep 17 00:00:00 2001
From: Fabio Cicerchia <info@fabiocicerchia.it>
Date: Wed, 22 Feb 2012 14:12:15 +0100
Subject: [PATCH] fix

---
 restore.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/restore.sh b/restore.sh
index 22f76f5..0f85796 100755
--- 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