[2666] | 1 | <%page expression_filter="h"/> |
---|
[205] | 2 | <!DOCTYPE html |
---|
| 3 | PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" |
---|
| 4 | "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
---|
[113] | 5 | <html> |
---|
[2666] | 6 | <head><title>${self.title()} — XVM</title> |
---|
[184] | 7 | <link href="static/favicon.ico" type="image/x-icon" rel="shortcut icon"> |
---|
| 8 | <link rel="stylesheet" href="static/style.css" type="text/css" /> |
---|
| 9 | <link rel="stylesheet" href="static/layout.css" type="text/css" media="screen" /> |
---|
[205] | 10 | <script type="text/javascript" src="static/prototype.js"></script> |
---|
[139] | 11 | <script type="text/javascript"> |
---|
| 12 | var helpWin = null; |
---|
| 13 | function closeWin(){ |
---|
| 14 | if (helpWin != null){ |
---|
| 15 | if(!helpWin.closed) |
---|
| 16 | helpWin.close(); |
---|
| 17 | } |
---|
| 18 | } |
---|
| 19 | |
---|
| 20 | function helppopup(name){ |
---|
| 21 | closeWin() |
---|
[153] | 22 | helpWin = window.open("help?simple=true&subject="+encodeURIComponent(name), "Help", |
---|
[139] | 23 | "status, height = 300, width = 400"); |
---|
| 24 | if (window.focus){helpWin.focus();} |
---|
| 25 | return false; |
---|
| 26 | } |
---|
| 27 | </script> |
---|
| 28 | </head> |
---|
[445] | 29 | <body id="body" |
---|
[2666] | 30 | % if hasattr(self.attr, 'pageclass'): |
---|
| 31 | class="${self.attr.pageclass}" |
---|
| 32 | % endif |
---|
[445] | 33 | > |
---|
[205] | 34 | |
---|
[2666] | 35 | % if False: |
---|
[235] | 36 | <div> |
---|
| 37 | <p>We are in the process of modifying the service. Things likely will not work.</p> |
---|
| 38 | </div> |
---|
[2666] | 39 | % endif |
---|
[235] | 40 | |
---|
[2666] | 41 | % if error_text is not UNDEFINED: |
---|
[205] | 42 | <div id="err"> |
---|
[2666] | 43 | <p>STDERR:</p><pre>${error_text}</pre> |
---|
[205] | 44 | </div> |
---|
[2666] | 45 | % endif |
---|
[205] | 46 | |
---|
[2666] | 47 | % if not simple: |
---|
| 48 | % if user: |
---|
| 49 | <p class="loggedin">Welcome, <span class="name">${user}</span>.</p> |
---|
| 50 | % endif |
---|
[205] | 51 | |
---|
[416] | 52 | <ul class="navigation"> |
---|
| 53 | <li><a href="list">List</a></li> |
---|
[2666] | 54 | % if machine: |
---|
| 55 | <li><a href="info?machine_id=${machine.machine_id}">Info</a></li> |
---|
| 56 | <li><a href="vnc?machine_id=${machine.machine_id}">Console</a></li> |
---|
| 57 | % endif |
---|
[618] | 58 | <li><a href="help">Help</a></li> |
---|
[417] | 59 | </ul> |
---|
[2666] | 60 | |
---|
| 61 | % endif |
---|
| 62 | |
---|
[207] | 63 | <div id="result" class="result"> |
---|
[2666] | 64 | % if result: |
---|
| 65 | ${result} |
---|
| 66 | % endif |
---|
[207] | 67 | </div> |
---|
[205] | 68 | |
---|
[2666] | 69 | % if not simple: |
---|
| 70 | <h1>${self.title()} — XVM</h1> |
---|
| 71 | % endif |
---|
| 72 | ${next.body()} |
---|
| 73 | % if not simple: |
---|
[113] | 74 | <hr /> |
---|
[543] | 75 | Questions? Contact <a href="mailto:xvm@mit.edu">xvm@mit.edu</a>. |
---|
[2666] | 76 | % endif |
---|
[113] | 77 | </body> |
---|
| 78 | </html> |
---|
[2666] | 79 | |
---|
| 80 | <%def name="title()"> |
---|
| 81 | XVM |
---|
| 82 | </%def> |
---|