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 /buildmaster/log.php | |
parent | 161d73af81750c5cd27bee032ae54174ca895609 (diff) |
-rw-r--r-- | buildmaster/log.php | 1 |
diff --git a/buildmaster/log.php b/buildmaster/log.php index 6235b06..0653632 100644 --- a/buildmaster/log.php +++ b/buildmaster/log.php @@ -2,6 +2,7 @@ require_once "../init.php"; require_once BASE . "/lib/mysql.php"; +abort_iff_webspider(); $filter = ""; if (array_key_exists("show", $_GET) && |