Directories.py: max filename length without extension is now 240 characters.. (ext3...

thx to adenin for bugreport

diff --git a/lib/python/Tools/Directories.py b/lib/python/Tools/Directories.py
index 1858152b1247073549a1aee59c328388f73d4298..2380ed96993ccb91c63635e6f465892be6726781 100755 (executable)
--- a/lib/python/Tools/Directories.py
+++ b/lib/python/Tools/Directories.py
@@ -176,6 +176,9 @@ def getRecordingFilename(basename, dirname = None):
        if dirname is not None:
                filename = ''.join((dirname, filename))
 
        if dirname is not None:
                filename = ''.join((dirname, filename))
 

+       if len(filename) > 240:
+               filename = filename[:240]
+

        i = 0
        while True:
                path = resolveFilename(SCOPE_HDD, filename)
        i = 0
        while True:
                path = resolveFilename(SCOPE_HDD, filename)