update jsdav

sohailprasad · Jun 30, 2011 · cf9af60 · cf9af60
1 parent a4e5d0d
commit cf9af60
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/server/cloud9/ide.js b/server/cloud9/ide.js
@@ -69,9 +69,13 @@ module.exports = Ide = function(options, httpServer, exts, socket) {
         davOptions.node = options.ftp.path;
     }
 
-    this.davServer = jsDAV.mount(davOptions);
+    var davServer = this.davServer = jsDAV.mount(davOptions);
     this.davInited = false;
 
+    process.on("exit", function() {
+        davServer.unmount(); // End previous FTP connection.
+    });
+
     this.registerExts(exts);
 };
 

diff --git a/support/jsdav b/support/jsdav