Fix a problem with space in directories

diff --git a/bin/salome_utils.py b/bin/salome_utils.py
index 08407f420cc2d1a86e1e2e4c1211406f3ed60a76..54e3e9e3ba7a15736ee28592e35d9c632cfd2941 100644 (file)
--- a/bin/salome_utils.py
+++ b/bin/salome_utils.py
@@ -365,8 +365,8 @@ def makeTmpDir( path, mode=0777 ):
     if os.path.exists( path ):
         import sys
         if sys.platform == "win32":
-            os.system( "rmdir /S /Q " + path )
-            os.system( "mkdir " + path )
+            os.system( "rmdir /S /Q " + '"' + path + '"' )
+            os.system( "mkdir " + '"' + path + '"' )
         else:
             os.system( "rm -rf " + path + "/*" )
             pass
@@ -420,7 +420,7 @@ def uniteFiles( src_file, dest_file ):
 
         import sys
         if sys.platform == "win32":
-            command = "type " + src_file + " >> " + dest_file
+            command = "type " + '"' + src_file + '"' + " >> " + '"' + dest_file + '"'
         else:
             command = "cat " + src_file + " >> " + dest_file
             pass
@@ -428,7 +428,7 @@ def uniteFiles( src_file, dest_file ):
     else:
         import sys
         if sys.platform == "win32":
-            command = "copy " + src_file + " " + dest_file + " > nul"
+            command = "copy " + '"' + src_file + '"' + " " + '"' + dest_file + '"' + " > nul"
         else:
             command = "cp " + src_file + " " + dest_file
             pass