diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-10 14:30:04 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-10 14:30:04 +0100 |
| commit | 30e05f52359521ccc4fd387e14c4147a413a2049 (patch) | |
| tree | 1b34e267f573ea4dab97430b1d56586f7f06025f /web-scripts/build-list.php | |
| parent | 9714f8d729a53b4b55c72b7d6be3ba35148cdc6f (diff) | |
| download | builder-30e05f52359521ccc4fd387e14c4147a413a2049.tar.xz | |
web-scripts/build-list.php: add link to main page
Diffstat (limited to 'web-scripts/build-list.php')
| -rw-r--r-- | web-scripts/build-list.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/web-scripts/build-list.php b/web-scripts/build-list.php index 98217de..cd197eb 100644 --- a/web-scripts/build-list.php +++ b/web-scripts/build-list.php @@ -20,6 +20,7 @@ print "<title>List of " . $to_show . " package builds</title>\n"; print "<link rel=\"stylesheet\" type=\"text/css\" href=\"/static/style.css\">\n"; print "</head>\n"; print "<body>\n"; +print "<a href=\"main page\">/</a>\n"; print "<a href=\"/build-logs/\">build logs</a><br>\n"; $mysql = new mysqli("localhost", "webserver", "empty", "buildmaster"); |