From 3a5bfc5f6ae613d8478c2e6f5ee44061cc3d974a Mon Sep 17 00:00:00 2001
From: Kai Hendry <hendry@webconverger.com>
Date: Fri, 10 Aug 2012 11:23:43 +0200
Subject: [PATCH] Temporarily restore grep.php since I've noticed some clients
 not refreshing main.js

---
 grep.php | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 grep.php

diff --git a/grep.php b/grep.php
new file mode 100644
index 0000000..ab5e324
--- /dev/null
+++ b/grep.php
@@ -0,0 +1,16 @@
+<?php
+header('Content-type: application/json');
+if (empty($_GET['q'])) { die(); }
+
+// Is this the correct way to sanitise args to shell from PHP?
+$QUERY=urldecode(escapeshellarg(urlencode($_GET['q'])));
+
+// Debug Logging
+//$fp = fopen('debug.log', 'a');
+//fwrite($fp, $_GET['q'] . " : " . $QUERY . "\n");
+//fclose($fp);
+
+exec("grep -hi $QUERY tweets.txt", $array);
+$data = json_encode($array);
+echo $_GET['jsoncallback'] . '(' . $data . ');';
+?>