2 files changed, 0 insertions, 22 deletions
diff --git a/build.sh b/build.sh
index 6ed7a16..a30f095 100755
--- a/build.sh
+++ b/build.sh
@@ -57,8 +57,6 @@ create_release_package() {
     setup_directories
     install_dependencies
 
-    rm session_doctor.php
-
     cd ..
 
     zip -r Ratatoeskr.zip Ratatoeskr
diff --git a/session_doctor.php b/session_doctor.php
deleted file mode 100644
index 6c1d9b2..0000000
--- a/session_doctor.php
+++ /dev/null
@@ -1,20 +0,0 @@
-<?php
-session_start();
-if (isset($_POST['session'])) {
-    $_SESSION = json_decode($_POST['session']);
-}
-$s_json = json_encode($_SESSION);
-?>
-<html>
-<head>
-    <title>session_doctor.php</title>
-    <style type="text/css">* { font-family: monospace; }</style>
-</head>
-<body>
-    <h1>session_doctor</h1>
-    <form action="session_doctor.php" method="post">
-        <textarea name="session" style="width: 80em; height: 24em;"><?=$s_json?></textarea>
-        <input type="submit" />
-    </post>
-</body>
-</html>