From 8197fc17752e4504bb2857fcea3f2e032916d9b3 Mon Sep 17 00:00:00 2001
From: Matteo Nastasi <nastasi@alternativeoutput.it>
Date: Sun, 19 Apr 2020 13:47:20 +0200
Subject: [PATCH] dev check

---
 web/Obj/brisk.phh | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/web/Obj/brisk.phh b/web/Obj/brisk.phh
index 0914818..22217bb 100644
--- a/web/Obj/brisk.phh
+++ b/web/Obj/brisk.phh
@@ -2787,13 +2787,14 @@ class Brisk
           do {
               if (!isset($cookie['sess'])
                   || (($user = $this->get_user($cookie['sess'], $idx)) == FALSE)
-                  || $user->page_id != $get['page_id']) {
+              ) {
+                  //  || $user->page_id != $get['page_id']) {
 
                   $content = "";
-                  if ($user->page_id != $get['page_id']) {
-                      $content += "OLD_PAGE";
-                  }
-                  $content += User::stream_fini($transp, $s_a_p->rndstr, TRUE);
+                  // 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;
-- 
2.17.1