add check for old page_id on new transport socket (server-side)

[brisk.git] / web / Obj / brisk.phh

diff --git a/web/Obj/brisk.phh b/web/Obj/brisk.phh
index 5238b13..0914818 100644 (file)
--- a/web/Obj/brisk.phh
+++ b/web/Obj/brisk.phh
@@ -2786,15 +2786,21 @@ class Brisk
 
           do {
               if (!isset($cookie['sess'])
-                  || (($user = $this->get_user($cookie['sess'], $idx)) == FALSE)) {
+                  || (($user = $this->get_user($cookie['sess'], $idx)) == FALSE)
+                  || $user->page_id != $get['page_id']) {
 
-                  $content = User::stream_fini($transp, $s_a_p->rndstr, TRUE);
+                  $content = "";
+                  if ($user->page_id != $get['page_id']) {
+                      $content += "OLD_PAGE";
+                  }
+                  $content += User::stream_fini($transp, $s_a_p->rndstr, TRUE);
 
                   $s_a_p->pendpage_try_addflush($new_socket, 20, $enc, $header_out, $content);
                   return TRUE;
 
                   break;
               }
+
               $this->sess_cur_set($user->sess);
               // close a previous opened index_read_ifra socket, if exists
               if (($prev = $user->rd_socket_get()) != NULL) {