[patch] Proposed quick fix

gentoo340321.patch (text/plain), 718 bytes, created by Martin von Gagern on 2010-10-10 10:44:53 UTC

Index: src/java_config_2/VersionManager.py
===================================================================
--- src/java_config_2/VersionManager.py	(revision 8224)
+++ src/java_config_2/VersionManager.py	(working copy)
@@ -53,7 +53,7 @@
     """
     atom_parser = re.compile(r"([<>=]*)virtual/(jre|jdk)[-:]([0-9\.*]+)")
     virtuals_parser = re.compile(r"([<>=~]+)?java-virtuals/([\w\-\.:]+)")
-    package_parser = re.compile(r"([\w\-]+)/([\w\-]+)(?:\:(\d+))?")
+    package_parser = re.compile(r"([\w\-]+)/([\w\-]+)(?:-[0-9.]+[a-z]?(?:_\w+)?)(?:\:(\d+))?")
     user_pref_file = '/etc/java-config-2/build/jdk.conf'
     default_pref_file = '/usr/share/java-config-2/config/jdk-defaults.conf'
     _prefs = None