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) (unidiff) | |
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 | |||
@@ -723,4 +723,7 @@ error_log("message"); | |||
723 | //============================================================= | 723 | //============================================================= |
724 | } else { | 724 | } else if (isset($_SESSION['K'])) { |
725 | $result["error"] = "Wrong shared secret!"; | 725 | $result["error"] = "Wrong shared secret!"; |
726 | } else { | ||
727 | $result["result"] = "EXCEPTION"; | ||
728 | $result["message"] = "Trying to communicate without an active connection"; | ||
726 | } | 729 | } |
@@ -743,2 +746,2 @@ error_log("default"); | |||
743 | error_log("result: ".json_encode($result)); | 746 | error_log("result: ".json_encode($result)); |
744 | ?> \ No newline at end of file | 747 | ?> |