corretto bug

diff --git a/INSTALL.sh b/INSTALL.sh
index c187f43e74a6a3091d3b2644b773a17ff907ed94..5de395e8acc57dc01fa5daca3993c0cd4921d362 100755 (executable)
--- a/INSTALL.sh
+++ b/INSTALL.sh
@@ -12,7 +12,7 @@ if [ -f $HOME/.brisk_install ]; then
    . $HOME/.brisk_install
 fi
 if [ "x$cookie_path" = "x" ]; then
-   cookie_path=web_path
+   cookie_path=$web_path
 fi
 function usage () {
     echo