Make the user id portion of the path optional.

This commit is contained in:
Paulo Reis
2016-06-29 14:19:16 +01:00
parent 5ad0c06770
commit 36e09e3b0c
@@ -237,7 +237,7 @@ define [
return null
normalizeFilePath = (path) ->
path = path.replace(/^(.*)\/compiles\/[0-9a-f]{24}-[0-9a-f]{24}\/(\.\/)?/, "")
path = path.replace(/^(.*)\/compiles\/[0-9a-f]{24}(-[0-9a-f]{24})?\/(\.\/)?/, "")
path = path.replace(/^\/compile\//, "")
rootDocDirname = ide.fileTreeManager.getRootDocDirname()