src/auth.php

@@ -10,12 +10,15 @@ function login()
     }
 }
 
-session_start();
-
 if (isset($_POST['logout']))
 {
-    unset($_SESSION['token']);
+    if (session_id() != "")
+    {
+        session_destroy();
     }
+}
+
+session_start();
 
 if (isset($_POST['user']) && isset($_POST['password']))
 {

src/common.php

@@ -72,11 +72,6 @@ function get_struct($dir, $line)
 function read_tsv($dir, $path)
 {
      
-    if (!is_file($path))
-    {
-        return [];
-    }
-
     $lines = explode("\n", file_get_contents($path));
 
     $shares = [];