From: Matteo Nastasi <nastasi@alternativeoutput.it>
Date: Sun, 19 Apr 2020 12:30:49 +0000 (+0200)
Subject: dev: remove old avoid_reuse experiment
X-Git-Url: https://mop.ddnsfree.com/gitweb/?a=commitdiff_plain;h=aca7755a1c048114b8ae3e2c6e575c905a572ac8;hp=c7efa4b610a96b78c7764c2e2d129a168c088c8e;p=brisk.git

dev: remove old avoid_reuse experiment
---

diff --git a/web/Obj/brisk.phh b/web/Obj/brisk.phh
index e3a0c36..8397e2c 100644
--- a/web/Obj/brisk.phh
+++ b/web/Obj/brisk.phh
@@ -2786,10 +2786,9 @@ class Brisk
 
           do {
               if (!isset($cookie['sess'])
-                  || (($user = $this->get_user($cookie['sess'], $idx)) == FALSE));
+                  || (($user = $this->get_user($cookie['sess'], $idx)) == FALSE)) {
                // || (($user = $this->get_user($cookie['sess'], $idx)) == FALSE)
                // || $user->page_id != $get['page_id']) {
-
                   $content = "";
                   // if ($user->page_id != $get['page_id']) {
                   //     $content .= "OLD_PAGE";
@@ -2802,8 +2801,8 @@ class Brisk
                   return TRUE;
 
                   break;
-              }
-              $this->sess_cur_set($user->sess);
+          }
+          $this->sess_cur_set($user->sess);
               // close a previous opened index_read_ifra socket, if exists
               if (($prev = $user->rd_socket_get()) != NULL) {
                   $s_a_p->socks_unset($user->rd_socket_get());