*** empty log message ***

diff --git a/src/proxy.C b/src/proxy.C
index 1287031..66b0f92 100644 (file)
--- a/src/proxy.C
+++ b/src/proxy.C
@@ -125,6 +125,8 @@ ptytty_proxy::~ptytty_proxy ()
 {
   if (id)
     {
+      close (pty);
+
       NEED_TOKEN;
 
       command cmd;