From 5dd36768e31ca29dea849a3e8ad19591832e4af1 Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Thu, 8 Feb 2018 18:53:19 +0100
Subject: [PATCH] fix BasicReadOnlyExplorer

---
 src/app/files/basicReadOnlyExplorer.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/app/files/basicReadOnlyExplorer.js b/src/app/files/basicReadOnlyExplorer.js
index 48a8841e1e..de0f62a041 100644
--- a/src/app/files/basicReadOnlyExplorer.js
+++ b/src/app/files/basicReadOnlyExplorer.js
@@ -23,7 +23,8 @@ class BasicReadOnlyExplorer {
 
   exists (path) {
     if (!this.files) return false
-    return this.files[path] !== undefined
+    var unprefixedPath = this.removePrefix(path)
+    return this.files[unprefixedPath] !== undefined
   }
 
   get (path, cb) {