Fix MiKTeX detection

latex-lsp · Mar 30, 2019 · ff1cbc4 · ff1cbc4
1 parent 87b0b6c
commit ff1cbc4
Showing 1 changed file with 11 additions and 8 deletions.
diff --git a/src/main/kotlin/texlab/resolver/LatexResolver.kt b/src/main/kotlin/texlab/resolver/LatexResolver.kt
@@ -92,14 +92,17 @@ class LatexResolver(val filesByName: Map<String, File>) {
                         }
                     }
                     LatexDistributionKind.MIKTEX -> {
-                        directory.resolve(MIKTEX_DATABASE_PATH)
-                                .toFile()
-                                .listFiles()
-                                .asSequence()
-                                .filter { it.extension.matches(Regex("""fndb-\d+""")) }
-                                .map { ByteBuffer.wrap(Files.readAllBytes(it.toPath())) }
-                                .map { it.order(ByteOrder.LITTLE_ENDIAN) }
-                                .flatMap { parseMiktexDatabase(it) }
+                        val databaseDirectory = directory.resolve(MIKTEX_DATABASE_PATH).toFile()
+                        if (databaseDirectory.exists()) {
+                            databaseDirectory.listFiles()
+                                    .asSequence()
+                                    .filter { it.extension.matches(Regex("""fndb-\d+""")) }
+                                    .map { ByteBuffer.wrap(Files.readAllBytes(it.toPath())) }
+                                    .map { it.order(ByteOrder.LITTLE_ENDIAN) }
+                                    .flatMap { parseMiktexDatabase(it) }
+                        } else {
+                            emptySequence()
+                        }
                     }
                     LatexDistributionKind.UNKNOWN -> {
                         val error = TexDistributionError.UNKNOWN_DISTRIBUTION