changeset 7:d1b3c3af34d6

WebTTY: switch terminal size to 80x25.
author John "Elwin" Edwards <elwin@sdf.org>
date Mon, 07 May 2012 16:03:10 -0700
parents 21738794755e
children ad0a31e52007
files shterm.js webtty.js
diffstat 2 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/shterm.js	Mon May 07 13:08:24 2012 -0700
+++ b/shterm.js	Mon May 07 16:03:10 2012 -0700
@@ -270,7 +270,7 @@
 
 function setup() {
   keyHexCodes.init();
-  termemu.init("termwrap", 24, 80);
+  termemu.init("termwrap", 25, 80);
   setTitle("Not connected.");
   return;
 }
--- a/webtty.js	Mon May 07 13:08:24 2012 -0700
+++ b/webtty.js	Mon May 07 16:03:10 2012 -0700
@@ -6,7 +6,7 @@
 var child_process = require("child_process");
 
 var serveStaticRoot = "/home/elwin/hk/nodejs/rlg/s/";
-var ptyhelp = "/home/elwin/hk/nodejs/rlg/ptywreck/ptyhelperC";
+var ptyhelp = "/home/elwin/hk/nodejs/rlg/ptyhelper";
 var sessions = {};
 
 var env_dontuse = {"TMUX": true, "TMUX_PANE": true};
@@ -20,6 +20,7 @@
     if (!(key in env_dontuse))
       childenv[key] = process.env[key];
   }
+  childenv["PTYHELPER"] = "25x80";
   // Should setsid get set?
   var spawnopts = {"env": childenv, "cwd": process.env["HOME"]};
   this.child = child_process.spawn(ptyhelp, ["bash"], spawnopts);