From ad495815198e74ba7269bea450e8074d906ceb97 Mon Sep 17 00:00:00 2001
From: adam <adam>
Date: Thu, 10 Sep 2009 09:51:38 +0000
Subject: [PATCH] Fix a problem with space in directories

---
 bin/salome_utils.py | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/bin/salome_utils.py b/bin/salome_utils.py
index 08407f420..54e3e9e3b 100644
--- 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
-- 
2.39.2