diff options
| author | Erich Eckner <git@eckner.net> | 2017-08-03 15:08:57 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-08-03 15:08:57 +0200 |
| commit | 7b12fd3b9be90d264ca2749f91a497eebba06eeb (patch) | |
| tree | 5eb16d03073db7f977a1abeaba55377368575c79 | |
| parent | 8cdec0bf107af726c991cd433f84d54be48b7e1f (diff) | |
| download | builder-7b12fd3b9be90d264ca2749f91a497eebba06eeb.tar.xz | |
bin/build-master-status: include title for status webpage
| -rwxr-xr-x | bin/build-master-status | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/bin/build-master-status b/bin/build-master-status index 45376c2..d474770 100755 --- a/bin/build-master-status +++ b/bin/build-master-status @@ -202,7 +202,12 @@ if [ $((${testing}+${staging}+${pending_packages}-${broken})) -ne 0 ]; then fi if ${web}; then - sed -i 's|$|<br>|' "${tmp_dir}/build-master-status.html" + ( + printf '<html>\n<head>\n<title>Status of archlinux32 build master</title>\n</head>\n<body>\n' + sed 's|$|<br>|' "${tmp_dir}/build-master-status.html" + printf '</body>\n</html>' + ) | \ + sponge "${tmp_dir}/build-master-status.html" end=$(($(date +%s)-7*24*60*60)) ( [ -f "${webserver_directory}/statistics" ] && \ |