From 69db6cb08e26e8748b3740f9f657060d880dc3cb Mon Sep 17 00:00:00 2001 From: smh Date: Tue, 20 Apr 2004 12:26:04 +0000 Subject: [PATCH] Merge from Ecole_Ete_a1 --- bin/launchConfigureParser.py | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/bin/launchConfigureParser.py b/bin/launchConfigureParser.py index 27dbfcf33..e1d63aeb9 100755 --- a/bin/launchConfigureParser.py +++ b/bin/launchConfigureParser.py @@ -114,7 +114,7 @@ if not appname: sys.exit(1); elif not filename or not os.path.exists(filename): filename = os.environ["HOME"]+"/."+appname+"/"+appname+".launch" - print "Launch configuration file is not exist. Create default:",filename + print "Launch configuration file does not exist. Create default:",filename os.system("mkdir -p "+os.environ["HOME"]+"/."+appname) os.system("cp -f "+os.environ["KERNEL_ROOT_DIR"]+"/bin/"+appname+"/"+appname+".launch "+filename) pass @@ -134,6 +134,13 @@ else: args = {} pass +# --- args completion +for aKey in ("containers","embedded","key","modules","standalone"): + if not args.has_key(aKey): + args[aKey]=[] +for aKey in ("gui","logger","xterm","portkill","killall"): + if not args.has_key(aKey): + args[aKey]=0 args["appname"] = appname ### searching for my port -- 2.39.2