summaryrefslogtreecommitdiff
path: root/backend/php/src/index.php
authorGiulio Cesare Solaroli <giulio.cesare@clipperz.com>2011-10-04 23:24:50 (UTC)
committer Giulio Cesare Solaroli <giulio.cesare@clipperz.com>2011-10-04 23:24:50 (UTC)
commit3065be1b71e4c40428cfa192de560c970ba7f8b3 (patch) (unidiff)
treebd030652e7c1e1556125beeaf7f18e174ab79385 /backend/php/src/index.php
parentc53c209c9b1e86f375aea9262fdb3170cae61ebc (diff)
parentbf22713a7251a2b32700a67456a086a283dbe33a (diff)
downloadclipperz-3065be1b71e4c40428cfa192de560c970ba7f8b3.zip
clipperz-3065be1b71e4c40428cfa192de560c970ba7f8b3.tar.gz
clipperz-3065be1b71e4c40428cfa192de560c970ba7f8b3.tar.bz2
Merge branch 'timeout'
Diffstat (limited to 'backend/php/src/index.php') (more/less context) (show whitespace changes)
-rw-r--r--backend/php/src/index.php5
1 files changed, 4 insertions, 1 deletions
diff --git a/backend/php/src/index.php b/backend/php/src/index.php
index eb3d75a..58c10a9 100644
--- a/backend/php/src/index.php
+++ b/backend/php/src/index.php
@@ -718,14 +718,17 @@ error_log("message");
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();