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 /backend | |
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 | |||
@@ -716,18 +716,21 @@ error_log("message"); | |||
716 | $result["result"] = "done"; | 716 | $result["result"] = "done"; |
717 | 717 | ||
718 | //============================================================= | 718 | //============================================================= |
719 | } else if ($message == "echo") { | 719 | } else if ($message == "echo") { |
720 | $result["result"] = $parameters; | 720 | $result["result"] = $parameters; |
721 | } | 721 | } |
722 | 722 | ||
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 | } |
727 | break; | 730 | break; |
728 | 731 | ||
729 | case "logout": | 732 | case "logout": |
730 | error_log("logout"); | 733 | error_log("logout"); |
731 | session_destroy(); | 734 | session_destroy(); |
732 | break; | 735 | break; |
733 | 736 | ||
@@ -736,9 +739,9 @@ error_log("default"); | |||
736 | $result["result"] = $parameters; | 739 | $result["result"] = $parameters; |
737 | break; | 740 | break; |
738 | } | 741 | } |
739 | 742 | ||
740 | session_write_close(); | 743 | session_write_close(); |
741 | 744 | ||
742 | echo(json_encode($result)); | 745 | echo(json_encode($result)); |
743 | error_log("result: ".json_encode($result)); | 746 | error_log("result: ".json_encode($result)); |
744 | ?> \ No newline at end of file | 747 | ?> |