Catch undefined exception of filesProviders

469c3fe3 · ioedeveloper · 8b19c1fc · 469c3fe3
Commit 469c3fe3 authored Mar 16, 2021 by ioedeveloper
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 2 deletions

fileManager.js apps/remix-ide/src/app/files/fileManager.js +4 -2

No files found.
--- a/apps/remix-ide/src/app/files/fileManager.js
+++ b/apps/remix-ide/src/app/files/fileManager.js
@@ -612,9 +612,11 @@ class FileManager extends Plugin {
  }

  currentWorkspace () {
-    const provider = self._deps.filesProviders.workspace
+    if (self._deps) {
+      const provider = self._deps.filesProviders.workspace

-    return provider.workspace
+      return provider.workspace
+    }
  }
 }