From: Serge Rehbinder <serge.rehbinder@cea.fr>
Date: Tue, 3 Jan 2017 11:10:18 +0000 (+0100)
Subject: use shutil.move instead of os.remove
X-Git-Tag: 5.0.0a1~38^2~32
X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=267641abfdd5a49af6b868bd4f145694cabbab60;p=tools%2Fsat.git

use shutil.move instead of os.remove
---

diff --git a/src/compilation.py b/src/compilation.py
index bdd789f..c315149 100644
--- a/src/compilation.py
+++ b/src/compilation.py
@@ -19,6 +19,7 @@
 import os
 import subprocess
 import sys
+import shutil
 
 import src
 
@@ -473,7 +474,7 @@ CC=\\"hack_libtool\\"%g" libtool'''
         # write the logTxtFile copy it to the destination, and then recreate 
         # it as it was
         self.logger.logTxtFile.close()
-        os.rename(self.logger.txtFilePath, file_path)
+        shutil.move(self.logger.txtFilePath, file_path)
         self.logger.logTxtFile = open(str(self.logger.txtFilePath), 'w')
         self.logger.logTxtFile.write(open(file_path, "r").read())
         
\ No newline at end of file