Heikki Linnakangas
c18b291244
Refactor cancellation Session to be more flexible.
...
Instead of with_session that calls a Future with the session, have a
more conventional constructor function, `new_session`, which returns a
Session. The session is automatically removed from the cancellation
map in Drop. This makes it nicer to use.
2023-03-13 11:27:03 +02:00
..
2023-02-17 15:32:14 +03:00
2023-03-09 20:45:56 +03:00
2023-02-17 15:32:14 +03:00
2022-12-29 22:25:52 +03:00
2022-12-13 16:16:31 +03:00
2022-12-22 14:27:48 +02:00
2023-02-01 17:11:41 +03:00
2023-02-01 17:11:41 +03:00
2023-03-13 11:27:03 +02:00
2023-02-15 22:05:03 +03:00
2023-02-17 15:32:14 +03:00
2023-02-01 17:11:41 +03:00
2022-12-13 16:16:31 +03:00
2023-02-17 15:32:14 +03:00
2023-02-17 15:32:14 +03:00
2023-02-21 10:03:55 +02:00
2023-03-10 15:00:48 +02:00
2022-09-23 18:30:44 +03:00
2023-03-13 11:27:03 +02:00
2022-12-13 16:16:31 +03:00
2022-05-02 18:32:18 +03:00
2023-03-09 20:45:56 +03:00
2022-09-21 21:42:47 +03:00
2022-07-04 23:46:37 +03:00