introduced 'page_id' in index.php

[brisk.git] / web / index.php

diff --git a/web/index.php b/web/index.php
index eb49939..66ccd64 100644 (file)
--- a/web/index.php
+++ b/web/index.php
@@ -512,6 +512,13 @@ function index_main(&$brisk, $transp_type, $header, &$header_out, $remote_addr_f
             }
         }
     }
+
+    if ($ACTION == "room") {
+        /* shutdown any previous transport socket */
+        $user->page_id = md5(microtime().$remote_addr_full);
+        // $brisk->abort_old_sockets($user);
+    }
+
     /* Rendering. */
 
     if ($BRISK_SHOWHTML == "debugtable") {
@@ -1052,6 +1059,7 @@ supported by:<br>
 var $$ = jQuery.noConflict();
 
 var myname = null;
+var page_id = "<$ echo $user->page_id; ?>";
 var g_debug = 0;
 var g_lang = "<? echo $G_lang; ?>";
 var g_lng = "<? echo $G_lng; ?>";