diff termemu.js @ 58:7a50b4412fea

Move credentials into the drivers. The session id, or whether the session is currently active on the server, are better handled in the drivers than in termemu.js.
author John "Elwin" Edwards <elwin@sdf.org>
date Tue, 19 Jun 2012 13:40:30 -0700
parents de01aafd4dd6
children a4d3ecf188b7
line wrap: on
line diff
--- a/termemu.js	Mon Jun 18 16:53:44 2012 -0700
+++ b/termemu.js	Tue Jun 19 13:40:30 2012 -0700
@@ -53,8 +53,6 @@
 
 // An object representing the terminal emulator.
 var termemu = {
-  sessid: null, // Session key assigned by the server
-  alive: false,
   /* Some elements of the page. */
   inwrap: null,     // A non-table div wrapping the screen
   view: null,     // The div holding the terminal screen