Module exec 

The exec handle and the cursor-driven stream, with the production exec id.

Re-exports

pub use super::mint_exec_id;

Structs

ExecHandle

One exec, addressed by its caller-minted id.

ExecResult

An exec’s phase and, once it has one, its outcome.

StreamEnd

Why a stream stopped, and where a resume would pick up.

StreamOptions

How a stream should behave. See ExecHandle::stream_with.

Enums

EndReason

The three ways a stream ends without an error.

Constants

DEFAULT_EXEC_WAIT

The deadline the bindings pass to ExecHandle::wait, ExecHandle::wait_and_ack and a one-shot Session::run_sync when their caller names none: five minutes, the Python client’s figure. Those methods take a deadline, so core itself never reads this; it’s here so both bindings default to one figure.

DEFAULT_STREAM_IDLE_TIMEOUT

How long an attached stream may be silent before it is treated as dead.

TIMED_OUT_EXIT_CODE

The exit code GNU timeout(1) reports for a command its deadline ended, and the one ExecResult::posix_exit_code reports for a deadline (BIND-6).

Functions

exec_id_at

A fresh exec id for the wall time unix, since the epoch: x- plus 16 hex characters, the Python client’s shape.

Type Aliases

StdinAck

What a stdin write accomplished.