1 | #from functions import functions |
---|
2 | #extends functions |
---|
3 | |
---|
4 | #def full_body |
---|
5 | <!DOCTYPE html |
---|
6 | PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" |
---|
7 | "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
---|
8 | <html> |
---|
9 | <head><title>$title</title> |
---|
10 | <link href="static/favicon.ico" type="image/x-icon" rel="shortcut icon"> |
---|
11 | <link rel="stylesheet" href="static/style.css" type="text/css" /> |
---|
12 | <link rel="stylesheet" href="static/layout.css" type="text/css" media="screen" /> |
---|
13 | <script type="text/javascript" src="static/prototype.js"></script> |
---|
14 | <script type="text/javascript"> |
---|
15 | var helpWin = null; |
---|
16 | function closeWin(){ |
---|
17 | if (helpWin != null){ |
---|
18 | if(!helpWin.closed) |
---|
19 | helpWin.close(); |
---|
20 | } |
---|
21 | } |
---|
22 | |
---|
23 | function helppopup(name){ |
---|
24 | closeWin() |
---|
25 | helpWin = window.open("help?simple=true&subject="+encodeURIComponent(name), "Help", |
---|
26 | "status, height = 300, width = 400"); |
---|
27 | if (window.focus){helpWin.focus();} |
---|
28 | return false; |
---|
29 | } |
---|
30 | </script> |
---|
31 | </head> |
---|
32 | <body id="body"> |
---|
33 | |
---|
34 | #if False |
---|
35 | <div> |
---|
36 | <p>We are in the process of modifying the service. Things likely will not work.</p> |
---|
37 | </div> |
---|
38 | #end if |
---|
39 | |
---|
40 | <div id="err"> |
---|
41 | #if $varExists('error_text') |
---|
42 | <p>STDERR:</p><pre>$error_text</pre> |
---|
43 | #end if |
---|
44 | </div> |
---|
45 | |
---|
46 | #if not $varExists('simple') or not $simple |
---|
47 | <p>[You are logged in as $user.]</p> |
---|
48 | |
---|
49 | <div class="navigation"> |
---|
50 | <p><a href="list">List</a> |
---|
51 | #if $varExists('machine') |
---|
52 | <a href="info?machine_id=$machine.machine_id">Info</a> |
---|
53 | <a href="vnc?machine_id=$machine.machine_id">Console</a> |
---|
54 | #end if |
---|
55 | <a href="help">Help</a></p> |
---|
56 | #end if |
---|
57 | </div> |
---|
58 | |
---|
59 | <div id="result" class="result"> |
---|
60 | #if $varExists('result') |
---|
61 | $result |
---|
62 | #end if |
---|
63 | </div> |
---|
64 | |
---|
65 | $body |
---|
66 | #if not $varExists('simple') or not $simple |
---|
67 | <hr /> |
---|
68 | Questions? Contact <a href="mailto:sipb-xen-dev@mit.edu">sipb-xen-dev@mit.edu</a>. |
---|
69 | #end if |
---|
70 | </body> |
---|
71 | </html> |
---|
72 | #end def |
---|