Register Worker IDs to avoid zombie jobs about mcrit

[yankovs]

Would it make sense to make the worker class implement the context manager protocol?

Pseudo-python-ish:

class Worker(QueueRemoteCallee):
    def __init__(...):
        ...
        self.id = generate_id()
        self.storage["current_workers"].insert({"_id": self.id})

    def  __enter__(self):
        return self

    def  __exit__(self, *args):
        self.storage["current_worker"].remove({"_id": self.id})

Usage, in __main__:

with Worker() as worker:
    worker.run()

[danielplohmann]

I've used your suggestion and implemented worker (de-)registration via context manager, which will be fixed with the soon to be pushed mcrit v1.2.3. Thanks a lot!