Skip to content
This repository has been archived by the owner on Jun 8, 2023. It is now read-only.

Commit

Permalink
Convert URI to OS specific file path (#42)
Browse files Browse the repository at this point in the history
  • Loading branch information
simon-nicholls authored and dragos committed Apr 30, 2017
1 parent 1866efc commit f3f418a
Showing 1 changed file with 2 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@ import java.io.File
import java.io.InputStream
import java.io.OutputStream
import java.net.URI
import java.nio.file.Paths

import scala.concurrent.Await
import scala.concurrent.duration._
Expand Down Expand Up @@ -159,7 +160,7 @@ class EnsimeLanguageServer(in: InputStream, out: OutputStream) extends LanguageS

for {
doc <- documentManager.allOpenDocuments
path = new URI(doc.uri).getRawPath()
path = Paths.get(new URI(doc.uri)).toString
} connection.publishDiagnostics(doc.uri, byFile.get(path).toList.flatten.map(toDiagnostic))
}

Expand Down

0 comments on commit f3f418a

Please sign in to comment.