From f3facfa8e87628fdcad37b473a73cf5707692563 Mon Sep 17 00:00:00 2001 From: Mikhail Lobotskiy Date: Mon, 19 Aug 2024 14:13:19 +0400 Subject: [PATCH] Fix for some JDK versions --- DesktopEditor/doctrenderer/docbuilder.java/make.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/DesktopEditor/doctrenderer/docbuilder.java/make.py b/DesktopEditor/doctrenderer/docbuilder.java/make.py index 82ebf29255..0fdd820f06 100644 --- a/DesktopEditor/doctrenderer/docbuilder.java/make.py +++ b/DesktopEditor/doctrenderer/docbuilder.java/make.py @@ -28,12 +28,12 @@ def get_jdk_version(javac): return 0 javac_version_str = output.decode('utf-8').strip() - match = re.search('(\d+)\.(\d+)\.', javac_version_str) + match = re.search('(\d+)(?:\.(\d+))?', javac_version_str) if not match: return 0 major_version = int(match.group(1)) - minor_version = int(match.group(2)) + minor_version = int(match.group(2)) if match.group(2) else 0 # for JDK 9 and earlier command `javac -version` would give '1.x.xx' if major_version == 1: