dev: remove old avoid_reuse experiment

diff --git a/web/Obj/brisk.phh b/web/Obj/brisk.phh
index e3a0c36..8397e2c 100644 (file)
--- 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());