Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/buildmaster
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-07-08 13:20:51 +0200
committerErich Eckner <git@eckner.net>2019-07-08 13:20:51 +0200
commit9aa9fa833c3ea724beedb88de3099ab6c9234e23 (patch)
tree93c4decbdb1e6445c7e918525d3dca7e1c74dedf /buildmaster
parentdd6498966b6f4fba0c23464554529aaebb0398f5 (diff)
buildmaster/build-log.php: use redirect_temporarily() from http.php for redirection
Diffstat (limited to 'buildmaster')
-rw-r--r--buildmaster/build-log.php4
1 files changed, 2 insertions, 2 deletions
diff --git a/buildmaster/build-log.php b/buildmaster/build-log.php
index 3cd0051..e2a2fc8 100644
--- a/buildmaster/build-log.php
+++ b/buildmaster/build-log.php
@@ -1,6 +1,7 @@
<?php
require_once "../init.php";
+require_once BASE . "/lib/http.php";
require_once BASE . "/lib/helper.php";
require_once BASE . "/lib/mysql.php";
@@ -28,5 +29,4 @@ $result = mysql_run_query(
$result = $result -> fetch_assoc();
-header('HTTP/1.1 303 See Other');
-header('Location: https://buildmaster.archlinux32.org/build-logs/error/' . $result['log_file']);
+redirect_temporarily('https://buildmaster.archlinux32.org/build-logs/error/' . $result['log_file']);