Spaces:
Running
Running
Commit
·
92bfe68
1
Parent(s):
affded7
Fix description parameter in `save_job_to_pipe`
Browse files- io_utils.py +1 -1
io_utils.py
CHANGED
@@ -125,7 +125,7 @@ def write_log_to_user_file(id, log):
|
|
125 |
f.close()
|
126 |
|
127 |
|
128 |
-
def save_job_to_pipe(id, job, description
|
129 |
with lock:
|
130 |
pipe.jobs.append((id, job, description))
|
131 |
|
|
|
125 |
f.close()
|
126 |
|
127 |
|
128 |
+
def save_job_to_pipe(id, job, description, lock):
|
129 |
with lock:
|
130 |
pipe.jobs.append((id, job, description))
|
131 |
|