Add "seed" menu in the Parameters tab

2023-03-22 18:40:20 +00:00
parent 45b7e53565
commit 61346b88ea
6 changed files with 33 additions and 19 deletions
--- a/extensions/api/script.py
+++ b/extensions/api/script.py
@@ -56,6 +56,7 @@ class Handler(BaseHTTPRequestHandler):
                penalty_alpha=0, 
                length_penalty=1,
                early_stopping=False,
+                seed=-1,
            )

            answer = ''
@@ -87,4 +88,4 @@ def run_server():
    server.serve_forever()

 def ui():
-    Thread(target=run_server, daemon=True).start()
+    Thread(target=run_server, daemon=True).start()