improve file naming

diff --git a/lib/python/Tools/Directories.py b/lib/python/Tools/Directories.py
index 85da53219063714786e00ae5e94ba8e8b05a26e4..003d9a8e81fbf0f40dc4563b8e710b9b5d900286 100644 (file)
--- a/lib/python/Tools/Directories.py
+++ b/lib/python/Tools/Directories.py
@@ -41,7 +41,7 @@ def getRecordingFilename(basename):
        while True:
                path = "/hdd/movies/" + filename
                if i > 0:
        while True:
                path = "/hdd/movies/" + filename
                if i > 0:

-                       path += str(i)
+                       path += "_%03d" % i

                try:
                        open(path + ".ts")
                        i += 1
                try:
                        open(path + ".ts")
                        i += 1