minor changes

app.py

@@ -19,5 +19,4 @@ if __name__ == "__main__":
     print("Starting the Gradio app...", flush=True)
     demo = create_ui()
     print("Gradio app created successfully.", flush=True)
-    demo.queue().launch(server_name="0.0.0.0", server_port=7860, debug=True)
-    print("Gradio app launched successfully.", flush=True)
+    demo.queue().launch()

src/eval.py

@@ -53,8 +53,6 @@ def run_evaluation(submission_path):
     ]
 
     try:
-        env = os.environ.copy()
-        env["PATH"] = "/home/user/minizinc/bin:" + env["PATH"]
         process = subprocess.run(
             command,
             capture_output=True,
@@ -62,7 +60,6 @@ def run_evaluation(submission_path):
             check=False,
             timeout=600,
             encoding='utf-8',
-            env=env
         )
 
         if process.returncode == 0:
@@ -76,7 +73,7 @@ def run_evaluation(submission_path):
     except Exception as e:
         print(f"Error running evaluation: {e}")
 
-    print(f"Evaluation process complete for: {submission_path}")
+    print(f"Evaluation process complete for: {submission_path}", flush=True)
 
 
 def start_background_evaluation(submission_path):