projects / python_utils.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bef486c) | patch
Make remote workers die if no longer needed; cleanups in executors.
authorScott Gasch <scott@gasch.org>
Wed, 17 Nov 2021 22:40:34 +0000 (14:40 -0800)
committerScott Gasch <scott@gasch.org>
Wed, 17 Nov 2021 22:40:34 +0000 (14:40 -0800)
commit9821d383ba3de886f8d11d00a588e49c2c280579
treea648dd0e5be5a64fa64618ee65385fdf8788db79tree | snapshot
parentbef486c8c06e8d743a98b89910658a615acc8bbccommit | diff
Make remote workers die if no longer needed; cleanups in executors.
executors.py diff | blob | history
remote_worker.py diff | blob | history
A bunch of python helper utils. Needed to run most of my python code.