take care of utf-8 when cutting filename

diff --git a/lib/python/Tools/Directories.py b/lib/python/Tools/Directories.py
index 2380ed96993ccb91c63635e6f465892be6726781..f93949789e746f2600196e5b1096cfd047ac39c8 100755 (executable)
--- a/lib/python/Tools/Directories.py
+++ b/lib/python/Tools/Directories.py
@@ -176,8 +176,10 @@ def getRecordingFilename(basename, dirname = None):
        if dirname is not None:
                filename = ''.join((dirname, filename))
 
-       if len(filename) > 240:
-               filename = filename[:240]
+       while len(filename) > 240:
+               filename = filename.decode('UTF-8')
+               filename = filename[:-1]
+               filename = filename.encode('UTF-8')
 
        i = 0
        while True: