index : website | |
Archlinux32 website - obsolete | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2019-07-25 14:29:54 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-07-25 14:29:54 +0200 |
commit | be0e7c8498c3f065c9dbdc1300b84d41b2aa6739 (patch) | |
tree | a322ef48b2e22c24b3c6ec57c26dfbc1213ff17c /lib | |
parent | 161d73af81750c5cd27bee032ae54174ca895609 (diff) |
-rw-r--r-- | lib/mysql.php | 12 |
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); + } +} |