do not use a re object for a simple replace (make tmbinc happy)

diff --git a/lib/python/Tools/Directories.py b/lib/python/Tools/Directories.py
index 7c8931592adf505eb0e9ce62d54ad09d29ad02b1..37ff1aa4bc50eab9bcc2485abcaf9365961bcc01 100644 (file)
--- a/lib/python/Tools/Directories.py
+++ b/lib/python/Tools/Directories.py
@@ -1,5 +1,4 @@
 import os
-from re import *
 
 SCOPE_TRANSPONDERDATA = 0
 SCOPE_SYSETC = 1
@@ -92,10 +91,7 @@ def getRecordingFilename(basename):
        non_allowed_characters = "/.\\"
        filename = ""
        
-       re = compile('\xc2\x86')
-       basename = re.sub('', basename)
-       re = compile('\xc2\x87')
-       basename = re.sub('', basename)
+       basename = basename.replace('\xc2\x86', '').replace('\xc2\x87', '')
        
        for c in basename:
                if c in non_allowed_characters: