From 84e6bdc1c0d9e9102db250e358db9b59f0a526f1 Mon Sep 17 00:00:00 2001
From: Kafva <kafva.one@gmail.com>
Date: Wed, 8 Jan 2025 06:36:07 +0100
Subject: [PATCH] Add --version CLI option

---
 server/src/main/kotlin/org/javacs/kt/Main.kt | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/server/src/main/kotlin/org/javacs/kt/Main.kt b/server/src/main/kotlin/org/javacs/kt/Main.kt
index 7e19897c9..2e8952730 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<String>) {
@@ -29,6 +31,12 @@ fun main(argv: Array<String>) {
     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()