disallow '"' in filenames

diff --git a/lib/python/Tools/Directories.py b/lib/python/Tools/Directories.py
index 2156a9beba292a3ff54e96ee2373d2196abb02c2..051a8efe6a428edeb69b0e638e83956f10ff8fc6 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', '')