From 3049aef73538ea95e0b58625876c3dfe34970c26 Mon Sep 17 00:00:00 2001
From: Matteo Nastasi <nastasi@alternativeoutput.it>
Date: Sun, 19 Apr 2020 13:52:45 +0200
Subject: [PATCH] dev check

---
 web/Obj/brisk.phh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/web/Obj/brisk.phh b/web/Obj/brisk.phh
index 152f8f7..1f43648 100644
--- a/web/Obj/brisk.phh
+++ b/web/Obj/brisk.phh
@@ -2794,7 +2794,8 @@ class Brisk
                   // if ($user->page_id != $get['page_id']) {
                   //     $content .= "OLD_PAGE";
                   // }
-                  printf('\ndiscarded here\n');
+                  printf("\ndiscarded here\n");
+                  printf("Is Cookie %s\n", (isset($cookie['sess'] ? TRUE : FALSE)));
                   $content .= User::stream_fini($transp, $s_a_p->rndstr, TRUE);
 
                   $s_a_p->pendpage_try_addflush($new_socket, 20, $enc, $header_out, $content);
-- 
2.17.1