diff -r 6f5f6a9965c6 -r 366e64ecba91 app/shell/templates/shell.html
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/app/shell/templates/shell.html Sun May 24 22:29:54 2009 +0200
@@ -0,0 +1,124 @@
+
+
+
+
+ Interactive Shell
+
+
+
+
+
+
+ Interactive server-side Python shell
+ (original source)
+
+
+ Return to main home
+
+
+
+
+
+
+
+
+
+{% if user %}
+ {{ user.nickname }}
+ (log out)
+{% else %}
+ log in
+{% endif %}
+ | Shift-Up/Down for history |
+
+
+
+
+
+
+
+
+