# HG changeset patch
# User John "Elwin" Edwards <elwin@sdf.org>
# Date 1336431790 25200
# Node ID d1b3c3af34d69ec43918e93e540d6651a8990d3d
# Parent  21738794755eb542b0ec4c1fa8061944347cf9f5
WebTTY: switch terminal size to 80x25.

diff -r 21738794755e -r d1b3c3af34d6 shterm.js
--- 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;
 }
diff -r 21738794755e -r d1b3c3af34d6 webtty.js
--- 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);