parent
815e411e64
commit
93c7c43009
|
@ -135,6 +135,11 @@ public class Watcher : Thread
|
|||
// ... but will just try shutdown an alreayd shutdown manager
|
||||
// ... again and try shut our already-closed river stream
|
||||
// Shutdown and unblock all `dequeue()` calls
|
||||
|
||||
// TODO: A problem is user-initiated could cause this to trugger first and then throw
|
||||
// ... actually with a WATCHER_FAILED - we should maybe use one error
|
||||
// ... or find a smart way to have the right flow go off - split up calls
|
||||
// ... more?
|
||||
this.manager.stop_FailedWatcher();
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in New Issue