Merge profile and config files and support custom index file

2015-08-28 21:12:04 -07:00
parent 25a5bc0b89
commit d3e48aa3ae
8 changed files with 111 additions and 121 deletions
--- a/resources/gotty.js
+++ b/resources/gotty.js
@@ -40,7 +40,7 @@
                term.installKeyboard();
            };

-            term.decorate(document.body);
+            term.decorate(document.getElementById("terminal"));
        };

        ws.onmessage = function(event) {