Changeset 7651:056ab720f4c6


Ignore:
Timestamp:
11/08/07 17:18:37 (6 years ago)
Author:
Yi Qiang <yqiang@…>
Branch:
default
Message:

Preliminary version of server stats.

Location:
sage/dsage/web
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • sage/dsage/web/index.html

    r7649 r7651  
    3636                <table id='jobs_table' class='tablesorter' display='none'> 
    3737                </table> 
    38                 <table id='server_details' class='tablesorter' display='none'> 
    39                 </table> 
     38                <div id='server_details' display='none'> 
     39                </div> 
    4040                <table id='job_details' class='tablesorter' display='none'> 
    4141                </table> 
  • sage/dsage/web/static/dsage_web.css

    r7643 r7651  
    4949#navigator { 
    5050    font-size:10px; 
     51    text-align: center; 
     52} 
     53 
     54#server_details { 
    5155    text-align: center; 
    5256} 
  • sage/dsage/web/web_server.py

    r7650 r7651  
    2020import os 
    2121import sqlite3 
     22from cStringIO import StringIO 
    2223 
    2324from twisted.web2 import http, resource 
     
    153154                                           dump, 
    154155                                           XML) 
    155         from cStringIO import StringIO 
    156156        root = Element('jobs')    
    157157              
     
    232232        """ 
    233233         
     234        from xml.etree.ElementTree import (ElementTree as ET, 
     235                                           Element, 
     236                                           SubElement, 
     237                                           dump, 
     238                                           XML) 
     239         
     240        # html = """ 
     241        #     <thead> 
     242        #         <th>Server</th> 
     243        #         <th>Workers Online</th> 
     244        #         <th>Workers Offline</th> 
     245        #         <th>Total Workers</th> 
     246        #         <th>Working MHz</th> 
     247        #         <th>Total MHz</th> 
     248        #     </thead> 
     249        #     <tbody> 
     250        #     <tr> 
     251        #         <td></td> 
     252        #         <td></td> 
     253        #         <td></td> 
     254        #     </tr> 
     255        #     </tbody> 
     256        # """ 
     257                 
    234258        html = """ 
    235             <thead> 
    236                 <th>Server</th> 
    237                 <th>Workers Online</th> 
    238                 <th>Workers Offline</th> 
    239                 <th>Total Workers</th> 
    240                 <th>Working MHz</th> 
    241                 <th>Total MHz</th> 
    242             </thead> 
    243             <tbody> 
    244             <tr> 
    245                 <td></td> 
    246                 <td></td> 
    247                 <td></td> 
    248             </tr> 
    249             </tbody> 
    250         """ 
     259        """ 
     260         
     261        # build StringIO object 
     262        tree = ET() 
     263        tree.parse(StringIO(stats_xml)) 
     264        root = tree.getroot() 
     265        for elem in root.getchildren(): 
     266            html += '%s: %s <br>' % (elem.tag, elem.text) 
    251267         
    252268        return html 
Note: See TracChangeset for help on using the changeset viewer.