dev check

diff --git a/web/Obj/brisk.phh b/web/Obj/brisk.phh
index 1f4364889e203e708fe21db5fc4f80cf119ca875..631a26063a2ed856ee7f54b3ed0733ef7ac08976 100644 (file)
--- a/web/Obj/brisk.phh
+++ b/web/Obj/brisk.phh
@@ -2795,7 +2795,7 @@ class Brisk
                   //     $content .= "OLD_PAGE";
                   // }
                   printf("\ndiscarded here\n");
-                  printf("Is Cookie %s\n", (isset($cookie['sess'] ? TRUE : FALSE)));
+                  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);