disallow '"' in filenames

diff --git a/lib/python/Tools/Directories.py b/lib/python/Tools/Directories.py
index 2156a9b..051a8ef 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
-       non_allowed_characters = "/.\\:"
+       non_allowed_characters = "/.\\:\""
        filename = ""
        
        basename = basename.replace('\xc2\x86', '').replace('\xc2\x87', '')