Correct a bug: find appropriate user configuration file function does not return...

diff --git a/bin/launchConfigureParser.py b/bin/launchConfigureParser.py
index 947c4641fe3d7449c3b4a489ef9624b39ffbf918..c3f8222c3841e15c9dcb9246b51a9271b24e21c0 100755 (executable)
--- a/bin/launchConfigureParser.py
+++ b/bin/launchConfigureParser.py
@@ -91,7 +91,8 @@ def version_id( fname ):
     ver = major
     ver = ver * 100 + minor
     ver = ver * 100 + release
-    ver = ver * 10000 + dev
+    ver = ver * 10000
+    if dev > 0: ver = ver - 10000 + dev
     return ver
 
 # get user configuration file name