1 files changed, 12 insertions, 0 deletions

diff --git a/lib/mysql.php b/lib/mysql.php
index ca683d8..7564a3d 100644
--- a/lib/mysql.php
+++ b/lib/mysql.php
@@ -98,3 +98,15 @@ function arch_filter_query($table) {
   $arch_filter .= ")";
   return $arch_filter;
 }
+
+function abort_iff_webspider() {
+  if (($fp = fopen(BASE . '/user-agent-log', 'a')) !== false) {
+    flock($fp, LOCK_EX);
+    fwrite($fp,
+      date('Y-m-d H:i:s') . " " .
+      $_SERVER['HTTP_USER_AGENT'] . "\n"
+    );
+    flock($fp, LOCK_UN);
+    fclose($fp);
+  }
+}