From e23c7d4c908bc208333f789fac2fc15fec820c68 Mon Sep 17 00:00:00 2001 From: Matteo Nastasi Date: Sun, 19 Apr 2020 13:55:50 +0200 Subject: [PATCH] dev check --- web/Obj/brisk.phh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/web/Obj/brisk.phh b/web/Obj/brisk.phh index 1f43648..631a260 100644 --- 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); -- 2.17.1