Files
lix/src/nix
Maximilian Bosch 0872659002 nix repl: properly deal with interruptions
When I stop a download with Ctrl-C in a `nix repl` of a flake, the REPL
refuses to do any other downloads:

    nix-repl> builtins.getFlake "nix-serve"
    [0.0 MiB DL] downloading 'https://api.github.com/repos/edolstra/nix-serve/tarball/e9828a9e01a14297d15ca41 error: download of 'https://api.github.com/repos/edolstra/nix-serve/tarball/e9828a9e01a14297d15ca416e5a9415d4972b0f0' was interrupted
    [0.0 MiB DL]
    nix-repl> builtins.getFlake "nix-serve"
    error: interrupted by the user
    [0.0 MiB DL]

To fix this issue, two changes were necessary:

* Reset the global `_isInterrupted` variable: only because a single
  operation was aborted, it should still be possible to continue the
  session.
* Recreate a `fileTransfer`-instance if the current one was shut down by
  an abort.
2021-10-07 23:58:02 +02:00
..
2021-07-22 09:59:51 +02:00
2021-09-30 21:35:09 +00:00
2021-03-26 16:14:38 +01:00
2020-12-23 18:26:40 +01:00
2020-12-21 13:32:28 +01:00
2021-09-27 11:12:06 +02:00
2020-12-21 13:32:27 +01:00
2021-01-14 00:05:04 +01:00
2021-07-22 09:59:51 +02:00
2020-10-09 20:18:08 +00:00
2020-12-21 13:32:28 +01:00
2021-01-27 12:06:03 +01:00
2020-12-21 13:32:28 +01:00
2020-12-23 18:26:40 +01:00
2020-12-23 18:26:40 +01:00
2021-03-26 16:14:38 +01:00
2020-12-23 18:26:40 +01:00
2021-10-02 10:17:45 +03:00
2021-01-27 12:06:03 +01:00
2020-12-21 13:32:29 +01:00
2021-09-30 21:35:09 +00:00
2020-12-21 13:32:28 +01:00
2021-01-27 12:06:03 +01:00
2021-09-27 11:12:06 +02:00
2020-12-21 13:32:28 +01:00
2020-12-21 13:32:28 +01:00
2020-12-21 13:32:28 +01:00
2020-12-21 13:32:28 +01:00
2020-12-23 18:33:42 +01:00
2021-09-27 11:12:06 +02:00
2021-09-13 14:44:53 +02:00
2020-12-21 13:32:28 +01:00
2021-01-17 19:49:28 +01:00
2020-12-21 13:32:29 +01:00
2021-10-07 12:11:00 +02:00
2020-12-21 13:32:29 +01:00
2021-09-27 11:12:06 +02:00
2020-12-21 13:32:27 +01:00
2021-07-07 10:02:55 +02:00
2021-07-07 10:02:55 +02:00
2020-12-21 13:32:28 +01:00
2021-07-27 14:24:03 +02:00
2021-02-17 17:58:47 +01:00
2021-09-22 17:15:07 +02:00
2020-12-21 13:32:27 +01:00
2021-09-30 21:35:09 +00:00
2021-09-27 11:12:06 +02:00
2021-09-27 11:12:06 +02:00
2021-01-11 19:46:59 +01:00
2021-01-10 23:29:14 +01:00
2021-03-26 16:14:38 +01:00
2021-09-27 11:12:06 +02:00
2021-01-13 23:27:39 +01:00
2021-01-21 11:02:09 +01:00
2020-12-21 13:32:28 +01:00
2021-09-27 11:12:06 +02:00
2020-12-21 13:32:28 +01:00
2021-07-22 09:59:51 +02:00
2020-12-21 13:32:28 +01:00