From f29453c7634a46168483795ee3faf94cdd7bf689 Mon Sep 17 00:00:00 2001
From: "John \"Elwin\" Edwards" <elwin@rlgallery.org>
Date: Mon, 7 May 2012 16:03:10 -0700
Subject: [PATCH] WebTTY: switch terminal size to 80x25.

---
 shterm.js | 2 +-
 webtty.js | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/shterm.js b/shterm.js
index 12872bf..3566edc 100644
--- a/shterm.js
+++ b/shterm.js
@@ -270,7 +270,7 @@ function vkey(c) {
 
 function setup() {
   keyHexCodes.init();
-  termemu.init("termwrap", 24, 80);
+  termemu.init("termwrap", 25, 80);
   setTitle("Not connected.");
   return;
 }
diff --git a/webtty.js b/webtty.js
index db3f592..3223f0d 100755
--- a/webtty.js
+++ b/webtty.js
@@ -6,7 +6,7 @@ var fs = require('fs');
 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 @@ function TermSession(sessid) {
     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);