memory-leaks

commit 965c995901e38e43b2ef4e7df1735c50c8db7996
parent 12e18454ba07c3b7747f8b868f6830f05de149c4
Author: Kévin Le Gouguec <kevin.legouguec@gmail.com>
Date:   Sun, 12 Apr 2020 23:11:33 +0200

Refactor index generation slightly

Diffstat:
M
repo/www/generate-index.py
 | 
14
+++++---------

1 file changed, 5 insertions(+), 9 deletions(-)
diff --git a/repo/www/generate-index.py b/repo/www/generate-index.py
@@ -30,12 +30,7 @@ def list_files(tree_file, folder):
     return directories[folder].subfolders, directories[folder].files
 
 
-def generate_index_page(title, directories, files, intro_file):
-    intro_text = ''
-    if intro_file is not None:
-        with open(intro_file) as intro:
-            intro_text = intro.read()
-
+def generate_index_page(title, directories, files, intro_text):
     dir_list = '\n'.join(
         f'- [{d}/]({d}/index.html)' for d in directories
     )
@@ -65,21 +60,22 @@ def main(arguments):
     folders, files = list_files(arguments.site_tree, target)
 
     names = []
-    intro = None
+    intro_text = ''
 
     repo = Repo(search_parent_directories=True)
 
     for f in files:
         name, _ = path.splitext(f)
         if name == 'README':
-            intro = path.join(repo.working_dir, target, f)
+            with open(path.join(repo.working_dir, target, f)) as intro:
+                intro_text = intro.read()
         else:
             names.append(name)
 
     title = path.basename(target) if target else 'index'
 
     convert_page(
-        generate_index_page(title, folders, names, intro),
+        generate_index_page(title, folders, names, intro_text),
         arguments.output
     )