summaryrefslogtreecommitdiff
path: root/backend
authorJosh <jokajak@gmail.com>2011-10-04 00:29:48 (UTC)
committer Josh <jokajak@gmail.com>2011-10-04 00:29:48 (UTC)
commitd6f7343c97ab28c88ade2b4e4edf0ac29f7c5117 (patch) (unidiff)
treeb5300ed7e98865e375881caa0966658f1fa204c3 /backend
parent27e2d4e631656cff15b09d3b6441ac853771f5ee (diff)
downloadclipperz-d6f7343c97ab28c88ade2b4e4edf0ac29f7c5117.zip
clipperz-d6f7343c97ab28c88ade2b4e4edf0ac29f7c5117.tar.gz
clipperz-d6f7343c97ab28c88ade2b4e4edf0ac29f7c5117.tar.bz2
send an exception when a session has timed out on the server side
Diffstat (limited to 'backend') (more/less context) (ignore whitespace changes)
-rw-r--r--backend/php/src/index.php7
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":
730error_log("logout"); 733error_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));
743error_log("result: ".json_encode($result)); 746error_log("result: ".json_encode($result));
744?> \ No newline at end of file 747?>