}
#header {
width: 800px;
- height: 100px;
+ height: 115px;
text-align: center;
background: #E0E0E0;
border: 1px solid #999;
div.box {
padding: 5px;
margin: 10px 0 10px 0;
- height: 80px;
+ /* height: 80px; */
border: 1px solid;
}
div.infobox {
float: right;
width: 240px;
}
+ div.log {
+ background: #e55;
+ border: 1px dotted;
+ margin-top: 12px;
+ /* visibility: hidden; */
+ }
+ div.log p {
+ font-family: Courier New;
+ }
+ div.footer {
+ }
+ div.footer p {
+ text-align: center;
+ font-size: 5px;
+ }
p {
margin: 2px;
}
self.header()
self.stateinfo()
self.durations()
+ if self.builder.state() == "error":
+ self.log()
+ self.footer()
print """\
</div>"""
print """\
<p class="%s">Distcc: %s</p>""" \
% (ping2class[state], port,)
+
+ def log(self):
+ log = self.builder.log()
+ if log:
+ print """\
+ <div class="log">
+ <p>"""
+ for i in log:
+ print "%s<br />" % (i.rstrip("\n"),)
+ print """\
+ </p>
+ </div>
+ """
+
+ def footer(self):
+ print """\
+ <div class="footer">
+ <p>target: %s - jobs: %s</p>
+ </div>
+ """ % (self.builder.target(), self.builder.jobs(),)
site = Site(config)
boxes = []
-for builder in getAllBuilders():
+for builder in getAllBuilders(3):
boxes.append(Box(builder))
site(boxes)