X-Git-Url: https://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=INSTALL.sh;h=b959272895124c94fd0e1a6b1a36c593b0c75568;hb=5a2be12c6ced3dad92a62d9714f2281d24f18d12;hp=9d613e84bcc4d0c33a495be7b7fd71a02c46f896;hpb=631b34bf11b3ab5d2d5b9fc90f95bfa87802a33e;p=brisk.git

diff --git a/INSTALL.sh b/INSTALL.sh
index 9d613e8..b959272 100755
--- a/INSTALL.sh
+++ b/INSTALL.sh
@@ -82,6 +82,7 @@ echo "    n_players:   $n_players"
 echo "    brisk_debug:\"$brisk_debug\""
 echo "    web_path:   \"$web_path\""
 echo "    ftok_path:  \"$ftok_path\""
+echo "    legal_path:  \"$legal_path\""
 echo "    cookie_path:\"$cookie_path\""
 echo "    web_only:   \"$web_only\""
 
@@ -94,6 +95,7 @@ if [ ! -z "$outconf" ]; then
     echo "brisk_debug=\"$brisk_debug\""
     echo "web_path=\"$web_path\""
     echo "ftok_path=\"$ftok_path\""
+    echo "legal_path=\"$legal_path\""
     echo "cookie_path=\"$cookie_path\""
     echo "web_only=\"$web_only\""
   ) > "$outconf"
@@ -149,4 +151,4 @@ sed -i "s@define *( *LEGAL_PATH,[^)]*)@define(LEGAL_PATH, $legal_path)@g" ${web_
 
 sed -i "s@var \+xhr_rd_cookiepath \+= \+\"[^\"]*\";@var xhr_rd_cookiepath = \"$cookie_path\";@g" ${web_path}/xhr.js
 
-exit 0
\ No newline at end of file
+exit 0