forked from goodboy/tractor
In the `drain_to_final_msg()` impl, since a stream terminating gracefully requires this msg, there's really no reason to `log.cancel()` about it; go `.runtime()` level instead since we're trying de-noise under "normal operation". Also, - passthrough `hide_tb` to taskc-handler's `ctx.maybe_raise()` call. - raise `MessagingError` for the `MsgType` unmatched `case _:`. - detail the doc string motivation a little more. |
||
---|---|---|
.. | ||
__init__.py | ||
_codec.py | ||
_ops.py | ||
pretty_struct.py | ||
ptr.py | ||
types.py |