[irclogs grepper
Panu Kalliokoski <atehwa@sange.fi>**20140529181229
 Ignore-this: acc80355cb84eb733d422e83b15a2092
] {
addfile ./greplogs.php
hunk ./greplogs.php 1
+<?php
+
+if (!$_GET['pattern']) {
+?>
+<form method=get>
+<input type=text name=chan> channel pattern <br>
+<input type=text name=date value="<?php echo date("Ymd"); ?>"> date pattern <br>
+<input type=text name=pattern value="atehwa|panu"> content pattern <br>
+<input type=submit value="Search">
+</form>
+<?php exit();
+}
+
+if ($_GET['file']) {
+	$grep = "egrep '$_GET[file]'";
+	$mode = "list";
+} else {
+	$grep = "egrep -l *$_GET[chan]*.$_GET[date].log";
+	$mode = "link";
+}
+
+$output = shell_exec("$grep -e '$_GET[pattern]'");
+
+if ($mode == "list") {
+	$output = htmlentities($output);
+	echo "<pre>$output</pre>";
+	$f = urlencode($_GET['file']);
+	echo "<a href=\"$f\">Show the whole log</a>";
+} else foreach (explode("\n", $output) as $file) {
+	$p = urlencode($_GET['pattern']);
+	$f = urlencode($file);
+	echo "<li><a href=\"greplogs.php?file=$f&pattern=$p\">$file</a></li>";
+}
+
}