*** empty log message ***

diff --git a/src/proxy.C b/src/proxy.C
index 66b0f92ab159b3bca7174a56608154087790898e..4c996f0d83c3696a2ba4be42b1e95fb3843815dd 100644 (file)
--- 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;