Use "default" theme for Sphinx < 1.3

[modules/kernel.git] / bin / runSession.py

diff --git a/bin/runSession.py b/bin/runSession.py
index 5f6cc7822a7a7afcb4a340851cd076bb3f3b4005..8dac79131a2c40eba8c9d5ca6da2a6e8148f444e 100644 (file)
--- a/bin/runSession.py
+++ b/bin/runSession.py
@@ -56,7 +56,9 @@ class SessionParameters:
   #
 #
 
-def configureSession(args=[], exe=None):
+def configureSession(args=None, exe=None):
+  if args is None:
+    args = []
   if exe:
       usage = "Usage: %s [options] [command] [-- <extra>]"%exe
   else:
@@ -216,7 +218,10 @@ def __runLocalSession(command):
     return ("".join(outmsg), "".join(errmsg))
   else:
     absoluteAppliPath = os.getenv('ABSOLUTE_APPLI_PATH','')
-    cmd = ["/bin/bash",  "--rcfile", absoluteAppliPath + "/.bashrc" ]
+    if sys.platform == "win32":
+      cmd = ["cmd", "/K", "set PROMPT=[SALOME] $P$G"]
+    else:
+      cmd = ["/bin/bash",  "--rcfile", absoluteAppliPath + "/.bashrc" ]
     proc = subprocess.Popen(cmd, shell=False, close_fds=True)
     return proc.communicate()
 #