Merge pull request +9668 from c9/workspace-not-found

Log out whether the user is logged in when Workspace not found error occurs

node_modules/c9/oberr.js

@@ -0,0 +1,15 @@
+define(function(require, exports, module) {
+    
+    /** 
+     * Turns a JS Error into a proper object that can be stringified 
+     * https://github.com/timjrobinson/oberr for more information
+    **/
+    return function oberr(err) {
+        var ob = {};
+        Object.getOwnPropertyNames(err).forEach(function(key) {
+            ob[key] = err[key];
+        });
+        return ob;
+    };
+        
+});

package.json

@@ -90,7 +90,7 @@
         "c9.ide.imgeditor": "#66a9733dc1",
         "c9.ide.immediate": "#18c23aa730",
         "c9.ide.installer": "#0fde9f0067",
-        "c9.ide.mount": "#dccfb51a2b",
+        "c9.ide.mount": "#3e017a3324",
         "c9.ide.navigate": "#c191d9b92f",
         "c9.ide.newresource": "#981a408a7b",
         "c9.ide.openfiles": "#7fa4a97fed",