projects
/
pyutils.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Add some example code.
[pyutils.git]
/
src
/
pyutils
/
remote_worker.py
diff --git
a/src/pyutils/remote_worker.py
b/src/pyutils/remote_worker.py
index cd6e4d6bdac48a47028ff26bbc1639a753276506..54f562da181d8d21b9891c8b99cfcc8e2dcd43fe 100755
(executable)
--- a/
src/pyutils/remote_worker.py
+++ b/
src/pyutils/remote_worker.py
@@
-92,7
+92,9
@@
def cleanup_and_exit(
@bootstrap.initialize
def main() -> None:
in_file = config.config['code_file']
+ assert in_file and type(in_file) == str
out_file = config.config['result_file']
+ assert out_file and type(out_file) == str
thread = None
stop_thread = None