diff options
author | Florian Klink <flokli@flokli.de> | 2023-09-03T14·39+0300 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2023-09-05T21·13+0000 |
commit | f499d2e031c100b6e1af53c8d77c045667ec1909 (patch) | |
tree | f914733205f170c4ab9bafe5f69e39181c30a826 /tools/eprintf.nix | |
parent | f9b5fc49b123cb4db3941ee2ae9b891f5262deef (diff) |
feat(tvix/store): fix ctrl-c handling on mount command r/6557
This enables the tokio `signal` feature, and registers a ctrl_c signal handler, which will use the unmount handle to unmount in case a ctrl-c signal is received. This avoids having disconnected mountpoints when Ctrl-C'ing a `tvix-store mount` invocation. In case the filesystem is unmounted externally (via `umount /path/to/ mountpoint`), the future is waiting for the signal is never resolved and the task is stopped. Change-Id: I149f705a6cb50188177f2a6c6a5fcd77218e2a3f Reviewed-on: https://cl.tvl.fyi/c/depot/+/9218 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to 'tools/eprintf.nix')
0 files changed, 0 insertions, 0 deletions