*** empty log message ***

diff --git a/src/proxy.C b/src/proxy.C
index 12870312cdd2048bb7291ac9cac3d1b8fde5a236..66b0f92ab159b3bca7174a56608154087790898e 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;