Fix ExportToGEOM tmp file name on Windows to make the dumped python correctly executed

diff --git a/src/ConnectorPlugin/ConnectorPlugin_ExportFeature.py b/src/ConnectorPlugin/ConnectorPlugin_ExportFeature.py
index b5d42602bdee9680dcb9dabfbe213faf69c10096..b529eac7331c06227617369d2988bc853a0183c0 100644 (file)
--- a/src/ConnectorPlugin/ConnectorPlugin_ExportFeature.py
+++ b/src/ConnectorPlugin/ConnectorPlugin_ExportFeature.py
@@ -36,6 +36,8 @@ def getTmpFileName(ext):
     tempdir = tempfile.gettempdir()
     tmp_file = tempfile.NamedTemporaryFile(suffix=".%s"%ext, prefix='shaper_', dir=tempdir, delete=False)
     tmp_filename = tmp_file.name
+    if os.name == "nt":
+        tmp_filename.replace("\\", "/")
     return tmp_filename
 
 ## @ingroup Plugins