From d6f7343c97ab28c88ade2b4e4edf0ac29f7c5117 Mon Sep 17 00:00:00 2001 From: Josh Date: Mon, 3 Oct 2011 20:29:48 -0400 Subject: [PATCH] send an exception when a session has timed out on the server side --- backend/php/src/index.php | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/backend/php/src/index.php b/backend/php/src/index.php index eb3d75a..35752f4 100644 --- a/backend/php/src/index.php +++ b/backend/php/src/index.php @@ -721,8 +721,11 @@ error_log("message"); } //============================================================= - } else { + } else if (isset($_SESSION['K'])) { $result["error"] = "Wrong shared secret!"; + } else { + $result["result"] = "EXCEPTION"; + $result["message"] = "Trying to communicate without an active connection"; } break; @@ -741,4 +744,4 @@ error_log("default"); echo(json_encode($result)); error_log("result: ".json_encode($result)); -?> \ No newline at end of file +?>