Christian Decker
644daa02e3
plugin: Cleanup a plugin as soon as its stdout closes
...
We were waiting for both stdin and stdout to close, however that resulted in
us deferring cleanup indefinitely since we did not poll stdout for being
writable most of the time. On the other hand we are almost always polling
the plugin's stdout, so that notifies us as soon as the plugin stops.
Changelog-Fixed: plugin: Plugins no longer linger indefinitely if their process terminates
2020-02-27 09:21:44 +10:30
..
2020-02-25 11:12:12 +10:30
2017-10-20 18:31:32 +02:00
2020-02-12 11:45:07 +10:30
2020-02-12 11:45:07 +10:30
2020-02-12 11:45:07 +10:30
2020-02-12 11:45:07 +10:30
2020-02-25 11:12:12 +10:30
2020-02-10 15:59:26 +10:30
2019-06-30 16:41:30 +09:30
2020-02-25 11:12:12 +10:30
2020-02-25 11:12:12 +10:30
2019-12-12 22:15:48 +01:00
2019-06-04 01:29:39 +00:00
2020-02-11 13:53:31 +10:30
2019-04-09 12:37:16 -07:00
2020-02-27 09:07:04 +10:30
2019-09-25 04:01:56 +00:00
2019-11-14 10:15:33 +01:00
2019-10-11 02:52:04 +00:00
2019-11-15 13:14:08 +01:00
2019-04-09 12:37:16 -07:00
2020-02-25 11:12:12 +10:30
2020-02-25 11:12:12 +10:30
2020-02-25 11:12:12 +10:30
2020-02-25 11:12:12 +10:30
2020-02-25 11:12:12 +10:30
2019-12-12 15:03:53 +01:00
2019-07-24 16:16:53 +02:00
2019-05-31 17:57:10 +02:00
2020-02-04 13:24:32 +10:30
2020-02-04 13:24:32 +10:30
2020-02-15 08:49:18 +10:30
2020-02-04 13:24:32 +10:30
2020-02-12 11:45:07 +10:30
2020-02-04 10:44:13 +10:30
2019-11-18 04:50:22 +00:00
2019-11-18 04:50:22 +00:00
2019-11-23 22:42:34 +00:00
2019-11-18 04:50:22 +00:00
2020-02-04 13:24:32 +10:30
2019-12-12 22:16:03 +01:00
2019-02-07 20:33:50 +00:00
2020-02-18 10:21:29 +10:30
2020-02-12 22:27:57 -06:00
2019-11-18 04:50:22 +00:00
2018-04-25 14:33:38 +02:00
2020-02-11 15:57:22 +10:30
2020-01-28 23:50:52 +01:00
2020-02-12 11:45:07 +10:30
2019-11-23 22:42:34 +00:00
2020-02-25 11:12:12 +10:30
2020-01-31 06:02:47 +00:00
2020-02-12 11:45:07 +10:30
2020-01-28 23:50:52 +01:00
2020-02-25 11:12:12 +10:30
2020-02-25 11:12:12 +10:30
2019-07-16 06:10:58 +00:00
2018-09-14 22:11:23 +02:00
2020-02-10 09:49:15 +10:30
2019-09-30 00:20:16 +00:00
2020-02-11 15:57:22 +10:30
2020-02-11 15:57:22 +10:30
2020-02-27 09:21:44 +10:30
2020-02-12 11:45:07 +10:30
2019-10-14 18:58:44 -05:00
2020-02-04 10:44:13 +10:30
2019-11-18 04:50:22 +00:00
2020-01-02 16:56:42 +01:00
2019-06-28 03:31:43 +00:00