author | Josh <jokajak@gmail.com> | 2011-10-04 00:29:48 (UTC) |
---|---|---|
committer | Josh <jokajak@gmail.com> | 2011-10-04 00:29:48 (UTC) |
commit | d6f7343c97ab28c88ade2b4e4edf0ac29f7c5117 (patch) (side-by-side diff) | |
tree | b5300ed7e98865e375881caa0966658f1fa204c3 | |
parent | 27e2d4e631656cff15b09d3b6441ac853771f5ee (diff) | |
download | clipperz-d6f7343c97ab28c88ade2b4e4edf0ac29f7c5117.zip clipperz-d6f7343c97ab28c88ade2b4e4edf0ac29f7c5117.tar.gz clipperz-d6f7343c97ab28c88ade2b4e4edf0ac29f7c5117.tar.bz2 |
send an exception when a session has timed out on the server side
-rw-r--r-- | backend/php/src/index.php | 7 |
1 files 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 @@ -718,14 +718,17 @@ error_log("message"); //============================================================= } else if ($message == "echo") { $result["result"] = $parameters; } //============================================================= - } 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; case "logout": error_log("logout"); session_destroy(); @@ -738,7 +741,7 @@ error_log("default"); } session_write_close(); echo(json_encode($result)); error_log("result: ".json_encode($result)); -?>
\ No newline at end of file +?> |