--- 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);