User guide
Reference
full name: tenpy.tools.thread.WorkerDied
parent module: tenpy.tools.thread
tenpy.tools.thread
type: exception
Exception thrown if the main thread detects that the worker subthread died.