windows port

diff --git a/bin/salome_utils.py b/bin/salome_utils.py
index f81107d3c52f17552433819b1350f577d9736343..08407f420cc2d1a86e1e2e4c1211406f3ed60a76 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 )