Changeset: 20d138e8a0e4 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=20d138e8a0e4
Modified Files:
testing/Mtest.py.in
Branch: Jun2020
Log Message:
Add hostname to Mtest.py result page title.
diffs (12 lines):
diff --git a/testing/Mtest.py.in b/testing/Mtest.py.in
--- a/testing/Mtest.py.in
+++ b/testing/Mtest.py.in
@@ -3669,7 +3669,7 @@ os.environ['VERSION'] = VERSION
if 'HTMLTITLE' in os.environ:
HTMLTITLE = os.environ['HTMLTITLE']
else:
- HTMLTITLE = ""+THISFILE+" results on "+DISTVER #"+ ("`date`")"
+ HTMLTITLE = "{} results on {} ({})".format(THISFILE, HOST, DISTVER)
#"+ ("`date`")"
URLPREFIX = 'http://dev.monetdb.org/hg/MonetDB/file/'
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list
