From e23c7d4c908bc208333f789fac2fc15fec820c68 Mon Sep 17 00:00:00 2001
From: Matteo Nastasi <nastasi@alternativeoutput.it>
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