fix little bug

[brisk.git] / web / index.php

diff --git a/web/index.php b/web/index.php
index baba03e..708af83 100644 (file)
--- a/web/index.php
+++ b/web/index.php
@@ -41,7 +41,7 @@ log_load("index.php");
 
 function main()
 {
-  GLOBAL $sess, $name, $table_idx, $table_token, $BRISK_SHOWHTML, $BRISK_DEBUG, $_SERVER;
+  GLOBAL $G_is_local, $sess, $name, $table_idx, $table_token, $BRISK_SHOWHTML, $BRISK_DEBUG, $_SERVER;
   
   $body = "";
   $tables = "";