random based on timestamp.

app.py

@@ -55,17 +55,8 @@ def demo(Dataset, Model, Output_Format):
     elif Model == "Large-i":
         inkml_path = f"./derendering_supp/large-i_{Dataset}_inkml"
 
-    path = f"./derendering_supp/{Dataset}/images_sample"
-    samples = os.listdir(path)
-    # Randomly pick a sample
-    picked_samples = random.sample(samples, min(1, len(samples)))
-
-    query_modes = ["d+t", "r+d", "vanilla"]
-    plot_title = {"r+d": "Recognized: ", "d+t": "OCR Input: ", "vanilla": ""}
-    text_outputs = []
-    img_outputs = []
-    video_outputs = []
     now = datetime.datetime.now()
+    random.seed(now.timestamp())
     now = now.strftime("%Y-%m-%d %H:%M:%S")
     print(
         now,
@@ -76,6 +67,16 @@ def demo(Dataset, Model, Output_Format):
         "with output format:",
         Output_Format,
     )
+    path = f"./derendering_supp/{Dataset}/images_sample"
+    samples = os.listdir(path)
+    # Randomly pick a sample
+    picked_samples = random.sample(samples, min(1, len(samples)))
+
+    query_modes = ["d+t", "r+d", "vanilla"]
+    plot_title = {"r+d": "Recognized: ", "d+t": "OCR Input: ", "vanilla": ""}
+    text_outputs = []
+    img_outputs = []
+    video_outputs = []
     for name in picked_samples:
         img_path = os.path.join(path, name)
         img = load_and_pad_img_dir(img_path)