From 1bec5b3f078f6269ec3473af1ab359927e194795 Mon Sep 17 00:00:00 2001 From: vsr Date: Tue, 4 Jul 2006 14:02:01 +0000 Subject: [PATCH] Correct a bug: find appropriate user configuration file function does not return a file with nearest id. --- bin/launchConfigureParser.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/bin/launchConfigureParser.py b/bin/launchConfigureParser.py index 947c4641f..c3f8222c3 100755 --- 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 -- 2.39.2