Commits

jank...@b7c52663-8f12-0410-848f-ff3e29dadc7b  committed 4bbb80c Draft

Improved a minor session handling issue and fixed a style issue.

  • Participants
  • Parent commits 8d6881b

Comments (0)

Files changed (2)

File phpshell.php

 }
 
 session_start();
-if ($_SESSION == array()) {
+if (!$newsession && $_SESSION == array()) {
     $expiredsession = True;
+    // Either the session expired, or the client invented its own session cookie. 
+    // Don't allow the client to choose a session ID. 
+    reset_session_id();
 }
 
 
   background-color: rgb(255, 150, 150);
   border: medium solid rgb(255, 60, 60);
   padding: 0.5em;
-  margin: 0.25em;
+  margin: 0.25em 0;
 }
 .pwd {
   font-family: monospace;