From: abd Date: Fri, 4 Aug 2006 07:19:37 +0000 (+0000) Subject: Using of correct name of user resource file for WIN32 platrform ( *.xml instead ... X-Git-Tag: LAST_STABLE_VERSION_21_09_2006_ON_3_2_0~12 X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=8a0593e2653682a6f0b7edb682e78aa39cf7d361;p=modules%2Fkernel.git Using of correct name of user resource file for WIN32 platrform ( *.xml instead *rc ) --- 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 )