From 19fbde9904d5c650c3f85e2543b5390e6fc411f7 Mon Sep 17 00:00:00 2001
From: root <root>
Date: Sat, 20 Jan 2007 00:55:01 +0000
Subject: [PATCH] *** empty log message ***

---
 src/proxy.C | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/proxy.C b/src/proxy.C
index 66b0f92a..4c996f0d 100644
--- a/src/proxy.C
+++ b/src/proxy.C
@@ -125,7 +125,10 @@ ptytty_proxy::~ptytty_proxy ()
 {
   if (id)
     {
-      close (pty);
+      close_tty ();
+
+      if (pty >= 0)
+        close (pty);
 
       NEED_TOKEN;
 
-- 
2.34.1