Spaces:
Paused
Paused
Commit
·
35fe627
1
Parent(s):
09e9d8a
feat: fix bug
Browse files- web_server.py +1 -2
web_server.py
CHANGED
|
@@ -3,7 +3,6 @@ import os
|
|
| 3 |
import pickle
|
| 4 |
import json
|
| 5 |
import threading
|
| 6 |
-
import time
|
| 7 |
import io
|
| 8 |
import enum
|
| 9 |
import hugsim_env
|
|
@@ -372,7 +371,7 @@ def execute_action_endpoint(
|
|
| 372 |
return Response(content=cache_result, media_type="application/octet-stream")
|
| 373 |
|
| 374 |
if env_handler.has_done:
|
| 375 |
-
result = pickle.dumps({"done":
|
| 376 |
_result_dict.push(transaction_id, result)
|
| 377 |
return Response(content=result, media_type="application/octet-stream")
|
| 378 |
|
|
|
|
| 3 |
import pickle
|
| 4 |
import json
|
| 5 |
import threading
|
|
|
|
| 6 |
import io
|
| 7 |
import enum
|
| 8 |
import hugsim_env
|
|
|
|
| 371 |
return Response(content=cache_result, media_type="application/octet-stream")
|
| 372 |
|
| 373 |
if env_handler.has_done:
|
| 374 |
+
result = pickle.dumps({"done": True, "state": None})
|
| 375 |
_result_dict.push(transaction_id, result)
|
| 376 |
return Response(content=result, media_type="application/octet-stream")
|
| 377 |
|