Implement the --shutdown-servers command line option with 0 as default

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

diff --git a/bin/salome_utils.py b/bin/salome_utils.py
index f81107d3c52f17552433819b1350f577d9736343..54e3e9e3ba7a15736ee28592e35d9c632cfd2941 100644 (file)
--- a/bin/salome_utils.py
+++ b/bin/salome_utils.py
@@ -363,7 +363,13 @@ def makeTmpDir( path, mode=0777 ):
     """
     import os
     if os.path.exists( path ):
-        os.system( "rm -rf " + path + "/*" )
+        import sys
+        if sys.platform == "win32":
+            os.system( "rmdir /S /Q " + '"' + path + '"' )
+            os.system( "mkdir " + '"' + path + '"' )
+        else:
+            os.system( "rm -rf " + path + "/*" )
+            pass
         pass
     else:
        dirs = path.split("/")
@@ -412,10 +418,20 @@ def uniteFiles( src_file, dest_file ):
         dest.writelines( dest_lines )
         dest.close()
 
-        command = "cat " + src_file + " >> " + dest_file
+        import sys
+        if sys.platform == "win32":
+            command = "type " + '"' + src_file + '"' + " >> " + '"' + dest_file + '"'
+        else:
+            command = "cat " + src_file + " >> " + dest_file
+            pass
         pass
     else:
-        command = "cp " + src_file + " " + dest_file
+        import sys
+        if sys.platform == "win32":
+            command = "copy " + '"' + src_file + '"' + " " + '"' + dest_file + '"' + " > nul"
+        else:
+            command = "cp " + src_file + " " + dest_file
+            pass
         pass
 
     os.system( command )