diff --git a/server/src/main/kotlin/org/javacs/kt/Main.kt b/server/src/main/kotlin/org/javacs/kt/Main.kt index 7e19897c..2e895273 100644 --- a/server/src/main/kotlin/org/javacs/kt/Main.kt +++ b/server/src/main/kotlin/org/javacs/kt/Main.kt @@ -22,6 +22,8 @@ class Args { var tcpClientPort: Int? = null @Parameter(names = ["--tcpClientHost", "-h"]) var tcpClientHost: String = "localhost" + @Parameter(names = ["--version", "-V"]) + var versionCheck: Boolean = false } fun main(argv: Array) { @@ -29,6 +31,12 @@ fun main(argv: Array) { LOG.connectJULFrontend() val args = Args().also { JCommander.newBuilder().addObject(it).build().parse(*argv) } + + if (args.versionCheck) { + println(System.getProperty("kotlinLanguageServer.version")) + return + } + val (inStream, outStream) = args.tcpClientPort?.let { // Launch as TCP Client LOG.connectStdioBackend()