do not allow colon in filenames

diff --git a/lib/python/Tools/Directories.py b/lib/python/Tools/Directories.py
index d6ffeeea65f96eb43fb155b0d47c268aac6d574e..2156a9beba292a3ff54e96ee2373d2196abb02c2 100644 (file)
--- a/lib/python/Tools/Directories.py
+++ b/lib/python/Tools/Directories.py
@@ -100,7 +100,7 @@ def fileExists(f):
 
 def getRecordingFilename(basename):
                # filter out non-allowed characters
 
 def getRecordingFilename(basename):
                # filter out non-allowed characters

-       non_allowed_characters = "/.\\"
+       non_allowed_characters = "/.\\:"

        filename = ""
        
        basename = basename.replace('\xc2\x86', '').replace('\xc2\x87', '')
        filename = ""
        
        basename = basename.replace('\xc2\x86', '').replace('\xc2\x87', '')