Update app.py

app.py

@@ -440,17 +440,17 @@ title = """
 </div>
 """
 footer = '<div align="center"><p><em>Special thanks to <a href="https://huggingface.co/Weyaxi">Weyaxi</a> for the <a href="https://github.com/Weyaxi/scrape-open-llm-leaderboard">Open LLM Leaderboard Scraper</a> and <a href="https://github.com/cg123">Charles Goddard</a> for <a href="https://github.com/arcee-ai/mergekit">mergekit</a>.</em></p></div>'
-# with gr.Blocks(theme=gr.themes.Soft(primary_hue="blue")) as demo:
-#     gr.Markdown(title)
-#     logs = gr.Textbox(label="Logs")
-#     demo.load(read_logs, None, logs, every=1)
-#     leaderboard = gr.Dataframe(value=get_dataframe, datatype=["markdown", "number", "number", "number", "number", "number"], every=3600)
-#     gr.Markdown(footer)
-# demo.queue().launch(server_name="0.0.0.0", show_error=True, prevent_thread_lock=True)
+with gr.Blocks(theme=gr.themes.Soft(primary_hue="blue")) as demo:
+    gr.Markdown(title)
+    logs = gr.Textbox(label="Logs")
+    demo.load(read_logs, None, logs, every=1)
+    leaderboard = gr.Dataframe(value=get_dataframe, datatype=["markdown", "number", "number", "number", "number", "number"], every=3600)
+    gr.Markdown(footer)
+demo.queue().launch(server_name="0.0.0.0", show_error=True, prevent_thread_lock=True)
 
-# print("Start AutoMerger...")
+print("Start AutoMerger...")
 
 # Main loop
-# while True:
+while True:
 merge_loop()
-    # time.sleep(WAIT_TIME)
+    time.sleep(WAIT_TIME)