diff options
| 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 /buildmaster/to-delete.php | |
| parent | 161d73af81750c5cd27bee032ae54174ca895609 (diff) | |
| download | website-be0e7c8498c3f065c9dbdc1300b84d41b2aa6739.tar.xz | |
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.php | 2 |
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`," . |