Spaces:
Running
Running
More debug informations
Browse files
server.py
CHANGED
@@ -372,14 +372,18 @@ class LeaderboardServer:
|
|
372 |
with open(file, "w") as f:
|
373 |
json.dump(data, f, separators=(',', ':')) # compact JSON
|
374 |
|
|
|
375 |
while True:
|
|
|
376 |
with self.pre_submit_lock:
|
377 |
if self.pre_submit == None:
|
378 |
gr.Info('Running tournament...', duration=15)
|
|
|
379 |
tournament_results = self.start_tournament(submission_id, file)
|
380 |
self.pre_submit = self.PreSubmit(tournament_results, submission_id, file)
|
381 |
break
|
382 |
gr.Info("Waiting in queue...", duration=5)
|
|
|
383 |
time.sleep(10)
|
384 |
|
385 |
return self.pre_submit
|
|
|
372 |
with open(file, "w") as f:
|
373 |
json.dump(data, f, separators=(',', ':')) # compact JSON
|
374 |
|
375 |
+
print(metadata)
|
376 |
while True:
|
377 |
+
print('Waiting for lock...')
|
378 |
with self.pre_submit_lock:
|
379 |
if self.pre_submit == None:
|
380 |
gr.Info('Running tournament...', duration=15)
|
381 |
+
print('Running tournament...')
|
382 |
tournament_results = self.start_tournament(submission_id, file)
|
383 |
self.pre_submit = self.PreSubmit(tournament_results, submission_id, file)
|
384 |
break
|
385 |
gr.Info("Waiting in queue...", duration=5)
|
386 |
+
print("Waiting in queue...")
|
387 |
time.sleep(10)
|
388 |
|
389 |
return self.pre_submit
|