ridiculousfish fd08b660c0 Add a poke function to fd_monitor
In preparation for fixing #7559, add a function poke_item to fd_monitor.

fd_monitor has a list of file descriptors, and invokes a callback when an
fd becomes readable. With this change, we assign each item a unique ID and
return it when the item is added; the ID may then be used to invoke the
callback explicitly.

The idea is that we can stop reading from the pipe associated with the
cmdsub when the job is finished, even if the pipe is still open.
2021-01-07 11:51:04 -08:00
..
2020-07-04 14:58:02 -07:00
2020-11-15 11:19:23 +01:00
2020-11-22 14:39:48 +01:00
2020-11-22 14:39:48 +01:00
2020-08-15 16:06:54 -07:00
2020-11-22 14:39:48 +01:00
2020-11-22 14:39:48 +01:00
2020-11-22 14:39:48 +01:00
2020-11-22 14:39:48 +01:00
2020-11-22 14:39:48 +01:00
2020-11-22 14:39:48 +01:00
2020-12-06 15:39:54 +01:00
2021-01-03 17:48:25 +01:00
2020-09-21 20:58:34 +02:00
2020-11-22 14:39:48 +01:00
2020-06-24 20:43:56 +02:00
2020-12-05 11:46:01 -08:00
2020-03-14 15:07:54 -07:00
2020-12-11 18:43:04 +01:00
2020-06-25 00:56:49 -05:00
2020-10-06 17:25:45 +02:00
2020-03-14 15:07:54 -07:00
2020-12-13 17:30:26 -08:00
2020-08-06 11:51:08 -07:00
2020-07-08 11:00:12 -07:00
2021-01-07 11:51:04 -08:00
2020-12-06 15:39:54 +01:00
2020-11-22 14:39:48 +01:00
2020-09-21 17:44:58 +02:00
2020-09-12 19:06:28 -07:00
2020-11-22 14:39:48 +01:00
2020-10-31 18:15:19 +01:00
2021-01-05 15:43:34 -06:00
2021-01-05 15:43:34 -06:00
2021-01-07 11:51:04 -08:00
2020-12-19 20:06:36 -08:00
2020-12-31 17:03:53 -08:00
2020-09-03 11:01:27 -07:00
2020-09-03 11:01:27 -07:00
2020-08-08 15:32:06 -07:00
2020-12-06 13:42:35 -08:00
2020-12-05 13:19:07 -08:00
2020-12-22 12:38:51 -08:00
2020-09-03 11:01:27 -07:00
2020-12-15 18:15:59 +01:00
2020-01-15 13:16:43 -08:00
2020-11-22 14:39:48 +01:00
2020-12-13 17:30:26 -08:00
2020-12-13 17:30:26 -08:00
2021-01-05 15:43:34 -06:00
2021-01-05 15:43:34 -06:00
2020-05-01 13:30:56 -07:00
2019-11-25 13:07:15 +01:00
2020-11-15 15:20:55 +01:00
2020-01-03 01:07:49 -06:00
2020-12-14 23:23:00 +01:00
2020-12-14 22:54:53 +01:00
2020-08-24 12:12:10 -07:00
2020-05-01 13:30:56 -07:00
2020-02-14 19:06:19 +01:00
2020-11-22 14:39:48 +01:00
2020-10-25 22:48:49 -07:00