Minor bug fixes, added URL link on redirect page.

index.php

@@ -60,7 +60,7 @@
     elseif ( isset ( $_GET [ 'logout' ] ) ) {
         $_SESSION = array ( );
         session_destroy ( );
-        header ( "Location: /" );
+        header ( "Location: " . $_SERVER [ 'SCRIPT_NAME' ] );
     }
     else {
         if ( ! isset ( $_SESSION [ 'user_id' ] ) ) {
@@ -77,6 +77,7 @@
         <div id="responsetext"></div>
         <script src="js/sha512.min.js"></script>
         <script src="js/login.js"></script>
+        <script>var script_name = "<?php echo $_SERVER['SCRIPT_NAME']?>";</script>
     </body>
 </html>
 <?php
@@ -134,6 +135,7 @@
         <button onclick="urlinsert()">Insert new URL</button><br>
         <div id="responsetext"></div>
         <script src="js/insertnew.js"></script>
+        <script>var script_name = "<?=$_SERVER['SCRIPT_NAME']?>";</script>
     </body>
 </html>
 <?php