--- SSHExec.java	2004-06-11 09:43:40.651067400 -0700
+++ SSHExec.java.new	2004-06-11 09:40:00.082921000 -0700
@@ -197,6 +197,7 @@
                     }
                 }
             }
+            session.disconnect();
         } catch (BuildException e) {
             throw e;
         } catch (JSchException e) {