diff options
Diffstat (limited to 'lib/python/Tools/Directories.py')
| -rw-r--r-- | lib/python/Tools/Directories.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/python/Tools/Directories.py b/lib/python/Tools/Directories.py index 7dcd5876..b2e43a49 100644 --- a/lib/python/Tools/Directories.py +++ b/lib/python/Tools/Directories.py @@ -167,7 +167,7 @@ def getRecordingFilename(basename, dirname = None): basename = basename.replace('\xc2\x86', '').replace('\xc2\x87', '') for c in basename: - if c in non_allowed_characters: + if c in non_allowed_characters or ord(c) < 32: c = "_" filename += c |