From 8a0593e2653682a6f0b7edb682e78aa39cf7d361 Mon Sep 17 00:00:00 2001 From: abd Date: Fri, 4 Aug 2006 07:19:37 +0000 Subject: [PATCH] Using of correct name of user resource file for WIN32 platrform ( *.xml instead *rc ) --- bin/launchConfigureParser.py | 13 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) diff --git a/bin/launchConfigureParser.py b/bin/launchConfigureParser.py index b172e06f1..ff82144aa 100755 --- a/bin/launchConfigureParser.py +++ b/bin/launchConfigureParser.py @@ -95,17 +95,24 @@ def version_id( fname ): return ver # get user configuration file name -def userFile(): +def userFile(): v = version() if not v: return "" # not unknown version - filename = "%s/.%src.%s" % (os.environ['HOME'], appname, v) + if sys.platform == "win32": + filename = "%s\%s.xml.%s" % (os.environ['HOME'], appname, v) + else: + filename = "%s/.%src.%s" % (os.environ['HOME'], appname, v) + print "FILENAME %s" % filename if os.path.exists(filename): return filename # user preferences file for the current version exists # initial id id0 = version_id( v ) # get all existing user preferences files - files = glob.glob( os.environ['HOME'] + "/." + appname + "rc.*" ) + if sys.platform == "win32": + files = glob.glob( os.environ['HOME'] + "\." + appname + ".xml.*" ) + else: + files = glob.glob( os.environ['HOME'] + "/." + appname + "rc.*" ) f2v = {} for file in files: match = re.search( r'\.%src\.([a-zA-Z0-9.]+)$'%appname, file ) -- 2.39.2