From d3245b6b9b3050b29233fbf31ec134cbb6c65940 Mon Sep 17 00:00:00 2001
From: ianb <devnull@localhost>
Date: Sat, 7 May 2005 03:07:55 +0000
Subject: Use <pre> for output

---
 examples/console/web/static/command.js | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

(limited to 'examples')

diff --git a/examples/console/web/static/command.js b/examples/console/web/static/command.js
index 5b592fd..37c7075 100644
--- a/examples/console/web/static/command.js
+++ b/examples/console/web/static/command.js
@@ -14,12 +14,16 @@ function send_command() {
   command_long.value = '';
   var result = servlet.run(command);
   var output_div = document.getElementById('output');
-  output_html += '<br>\n' + '<span class="input">'
-    + command + '</span>';
-  if (result != nil) {
-    output_html += '<br>\n' + '<span class="output">'
-      + result + '</span>';
+  output_html += '<span class="input">&gt;&gt;&gt; '
+    + html_quote(command) + '</span>\n';
+  if (result != null) {
+    output_html += '<span class="output">' 
+      + html_quote(result) + '<span>\n';
   }
   output_div.innerHTML = output_html;
   return false;
 }
+
+function html_quote(s) {
+  return s.replace('&', '&amp;').replace('<', '&lt;');
+}
-- 
cgit v1.2.1