Fix python script to retrieve JAVA_HOME exec in Windows OS

Signed-off-by: Tang Tang Zhou <[email protected]>
snjeza · Feb 22, 2024 · 522b56b · 522b56b
1 parent 657442b
commit 522b56b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/org.eclipse.jdt.ls.product/scripts/jdtls.py b/org.eclipse.jdt.ls.product/scripts/jdtls.py
@@ -23,7 +23,8 @@ def get_java_executable(validate_java_version):
 	java_executable = 'java'
 
 	if 'JAVA_HOME' in os.environ:
-		java_exec_to_test = Path(os.environ['JAVA_HOME']) / 'bin' / 'java'
+		ext = '.exe' if platform.system()  == 'Windows' else ''
+		java_exec_to_test = Path(os.environ['JAVA_HOME']) / 'bin' / f'java{ext}'
 		if java_exec_to_test.is_file():
 			java_executable = java_exec_to_test.resolve()