Questions about pipe IDs

[wlandau]

Thanks for exposing pipe IDs for workers that connected. I have a couple questions:

1. Is it possible for the user to trim status()$events? If I have 10000 workers and I check status() frequently, the dispatcher will spend a lot of time sending superfluous pipe IDs to the main process, and I will spend a lot of time finding the relevant pipe ID in a large list.
2. Is it possible to force terminate a worker using a known pipe ID? I would like to use this in conjunction with platform-specific system calls to make crew more robust.

[wlandau]

For (1), I see you already thought of this. each call to status() shows only the new events that haven't been seen before. this is perfect.

[shikokuchuo]

For (2) as we discussed, not yet. Will let you know if/when this becomes possible.