Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/buildmaster/to-delete.php
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 /buildmaster/to-delete.php
parent161d73af81750c5cd27bee032ae54174ca895609 (diff)
lib/mysql.php: abort_iff_webspider() new - for now only logging the user agent
Diffstat (limited to 'buildmaster/to-delete.php')
-rw-r--r--buildmaster/to-delete.php2
1 files changed, 2 insertions, 0 deletions
diff --git a/buildmaster/to-delete.php b/buildmaster/to-delete.php
index 8458c74..f287ce5 100644
--- a/buildmaster/to-delete.php
+++ b/buildmaster/to-delete.php
@@ -3,6 +3,8 @@ require_once "../init.php";
require_once BASE . "/lib/helper.php";
require_once BASE . "/lib/mysql.php";
+abort_iff_webspider();
+
$result = mysql_run_query(
"SELECT " .
"`repositories`.`name` AS `repo`," .