comparison 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
comparison
equal deleted inserted replaced
57:e7c864e80a79 58:7a50b4412fea
51 return; 51 return;
52 } 52 }
53 53
54 // An object representing the terminal emulator. 54 // An object representing the terminal emulator.
55 var termemu = { 55 var termemu = {
56 sessid: null, // Session key assigned by the server
57 alive: false,
58 /* Some elements of the page. */ 56 /* Some elements of the page. */
59 inwrap: null, // A non-table div wrapping the screen 57 inwrap: null, // A non-table div wrapping the screen
60 view: null, // The div holding the terminal screen 58 view: null, // The div holding the terminal screen
61 screen: null, // The div representing the active screen area 59 screen: null, // The div representing the active screen area
62 normbuf: null, // The normal screen buffer 60 normbuf: null, // The normal screen buffer