From 599cd3bb6e57a8c670ead7295c379d1be3736a05 Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Thu, 30 Apr 2009 10:56:29 +0200 Subject: [PATCH] Due to increase of length of log I had to made the box scroll. --- build/index.py | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/build/index.py b/build/index.py index d4b4981e..3b30b966 100644 --- a/build/index.py +++ b/build/index.py @@ -99,6 +99,8 @@ class Site: border: 1px dotted; margin-top: 12px; /* visibility: hidden; */ + height: 150px; + overflow: auto; } div.log p { font-family: Courier New; @@ -230,14 +232,12 @@ class Box: log = self.builder.log() if log: print """

""" - for i in log: - if i: - print "%s
" % (i.rstrip("\n"),) + print "
".join(log) print """

""" def footer(self): - print """""" \ - % (self.builder.system(), self.builder.cpu(), self.builder.target(), self.builder.jobs(), self.builder.toolchain(),) + print """""" \ + % (self.builder.system(), self.builder.cpu(), self.builder.machine(), self.builder.target(), self.builder.jobs(), self.builder.toolchain(),) class BoxCompiling(Box): def __init__(self, builder): -- 2.47.3