index : website | |
Archlinux32 website - obsolete | gitolite user |
summaryrefslogtreecommitdiff |
-rw-r--r-- | buildmaster/to-delete.php | 2 |
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`," . |