Fix up...

2026-09-07 02:55:23 +02:00 · 2015-12-30 01:34:32 +01:00
parent 139525355a
commit bfc9a10639
1 changed files with 4 additions and 4 deletions
@@ -226,11 +226,11 @@ object Cache {

        val res =
          if (url.startsWith("file:/")) {
+            def filtered(s: String) =
+              s.stripPrefix("file:/").stripPrefix("//").stripSuffix("/")
            assert(
-              url.stripPrefix("file:/").stripPrefix("//") ==
-                file.toURI.toString.stripPrefix("file:/").stripPrefix("//"),
-              s"URL: ${url.stripPrefix("file:/").stripPrefix("//")}, " +
-                s"file: ${file.toURI.toString.stripPrefix("file:/").stripPrefix("//")}"
+              filtered(url) == filtered(file.toURI.toString),
+              s"URL: ${filtered(url)}, file: ${filtered(file.toURI.toString)}"
            )
            checkFileExists(file, url)
          } else