improve logs page

loda-lang · Aug 23, 2024 · 7b2deb9 · 7b2deb9
1 parent 24e3cea
commit 7b2deb9
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/html/logs.php b/html/logs.php
@@ -25,6 +25,10 @@
 echo "<h1>Logs</h1>";
 
 $s = "$user->name";
+if (isset($_GET['s'])) {
+  $s = $_GET['s'];
+}
+
 foreach ($dirs as $d) {
   $files = array_diff(scandir("$path/$d"), array('.', '..'));
   foreach ($files as $f) {
@@ -33,6 +37,8 @@
     if (strpos($c, $s) !== false) {
       echo "<h2>$f</h2>\n";
       echo "<pre>$c</pre>\n";
+      ob_flush();
+      flush();
     }
   }
 }