Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-07-25 14:29:54 +0200
committerErich Eckner <git@eckner.net>2019-07-25 14:29:54 +0200
commitbe0e7c8498c3f065c9dbdc1300b84d41b2aa6739 (patch)
treea322ef48b2e22c24b3c6ec57c26dfbc1213ff17c /lib
parent161d73af81750c5cd27bee032ae54174ca895609 (diff)
lib/mysql.php: abort_iff_webspider() new - for now only logging the user agent
Diffstat (limited to 'lib')
-rw-r--r--lib/mysql.php12
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);
+ }
+}