From 590f344c6d657e67f47069fed52893a46a774090 Mon Sep 17 00:00:00 2001 From: veclav talica Date: Mon, 22 May 2023 16:18:54 +0500 Subject: [PATCH] seed the rng by time --- tools/main_page_generator.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/tools/main_page_generator.py b/tools/main_page_generator.py index 3b8c4e2..0a64d2c 100755 --- a/tools/main_page_generator.py +++ b/tools/main_page_generator.py @@ -2,7 +2,7 @@ from sys import argv, exit from os import walk, path -from random import choice +from random import choice, seed import time, urllib.parse from article_utils import parse_metadata, MONTHS @@ -12,6 +12,8 @@ if len(argv) <= 1: print("No directory was supplied") exit(-1) +seed() + page_metadata = """Title: mjestečko CSS: /style.css