From 5ff11613eae65439900e873a069d65d71fc2c8ad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Eric=20F=C3=B6rster?= <efoerster@users.noreply.github.com>
Date: Sun, 9 Jun 2019 21:24:08 +0200
Subject: [PATCH] Fix MikTeX resolver

---
 src/main.rs            | 2 +-
 src/resolver/miktex.rs | 9 ++-------
 2 files changed, 3 insertions(+), 8 deletions(-)

diff --git a/src/main.rs b/src/main.rs
index 89884bb1c..947c00490 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -7,13 +7,13 @@ use futures::lock::Mutex;
 use futures::prelude::*;
 use jsonrpc::MessageHandler;
 use std::sync::Arc;
+use stderrlog::{ColorChoice, Timestamp};
 use texlab::client::LatexLspClient;
 use texlab::codec::LspCodec;
 use texlab::server::LatexLspServer;
 use tokio::codec::FramedRead;
 use tokio_codec::FramedWrite;
 use tokio_stdin_stdout;
-use stderrlog::{Timestamp, ColorChoice};
 
 fn main() {
     let matches = app_from_crate!()
diff --git a/src/resolver/miktex.rs b/src/resolver/miktex.rs
index bbd6ab828..a2aed3ea2 100644
--- a/src/resolver/miktex.rs
+++ b/src/resolver/miktex.rs
@@ -1,7 +1,6 @@
 use super::{Error, Result};
 use byteorder::{LittleEndian, ReadBytesExt};
-use lazy_static::lazy_static;
-use regex::Regex;
+use std::ffi::OsStr;
 use std::fs;
 use std::io;
 use std::io::Cursor;
@@ -14,10 +13,6 @@ const FNDB_TABLE_POINTER_OFFSET: usize = 4 * FNDB_WORD_SIZE;
 const FNDB_TABLE_SIZE_OFFSET: usize = 6 * FNDB_WORD_SIZE;
 const FNDB_ENTRY_SIZE: usize = 4 * FNDB_WORD_SIZE;
 
-lazy_static! {
-    static ref FNDB_REGEX: Regex = Regex::new(r#".*\.fndb-\d+"#).unwrap();
-}
-
 pub fn read_database(directory: &Path, root_directories: &[PathBuf]) -> Result<Vec<PathBuf>> {
     let database_directory = directory.join(DATABASE_PATH);
     if !database_directory.exists() {
@@ -28,7 +23,7 @@ pub fn read_database(directory: &Path, root_directories: &[PathBuf]) -> Result<V
     let files = fs::read_dir(database_directory)
         .expect("Could not traverse database directory")
         .filter_map(|x| x.ok())
-        .filter(|x| FNDB_REGEX.is_match(x.file_name().to_str().unwrap()));
+        .filter(|x| x.path().extension().and_then(OsStr::to_str) == Some("fndb-5"));
 
     for file in files {
         let bytes = fs::read(file.path()).expect("Could not read fndb file");