Simon Tatham
eec350c38b
New facility, platform_start_subprocess.
...
We already have the ability to start a subprocess and hook it up to a
Socket, for running local proxy commands. Now the same facility is
available as an auxiliary feature, so that a backend can start another
subcommand for a different purpose, and make a separate Socket to
communicate with it.
Just like the local proxy system, this facility captures the
subprocess's stderr, and passes it back to the caller via plug_log. To
make that not look silly, I had to add a system where the "proxy:"
prefix on the usual plug_log messages is reconfigurable, and when you
call platform_start_subprocess(), you get to pass the prefix you want
to use in this case.
2022-09-01 20:43:23 +01:00
..
2022-08-16 20:33:58 +01:00
2022-08-03 20:48:46 +01:00
2021-05-24 15:27:38 +01:00
2022-09-01 20:43:23 +01:00
2022-06-01 11:14:21 +01:00
2022-05-21 09:53:03 +01:00
2022-07-07 18:05:32 +01:00
2022-08-03 20:48:46 +01:00
2021-04-26 18:00:01 +01:00
2022-08-07 18:36:44 +01:00
2022-08-03 20:48:46 +01:00
2022-01-22 15:51:31 +00:00
2022-09-01 20:43:23 +01:00
2021-05-27 09:48:32 +01:00
2022-04-24 08:38:27 +01:00
2022-08-30 18:51:33 +01:00
2021-04-26 18:00:01 +01:00
2021-05-03 17:01:55 +01:00
2022-08-03 20:48:46 +01:00
2022-09-01 20:43:23 +01:00
2020-06-21 16:39:47 +01:00
2020-06-21 16:39:47 +01:00
2022-01-22 15:51:31 +00:00
2022-08-03 20:48:46 +01:00
2022-08-03 20:48:46 +01:00
2022-01-22 15:51:31 +00:00
2022-01-22 15:51:31 +00:00
2021-04-26 18:00:01 +01:00
2021-04-22 20:00:46 +01:00
2022-08-05 18:08:59 +01:00
2007-01-07 10:17:12 +00:00
2019-09-08 20:29:21 +01:00
2022-08-05 18:08:59 +01:00
2007-01-07 10:17:12 +00:00
2022-09-01 20:43:23 +01:00
2022-07-07 18:05:32 +01:00
2005-10-04 14:13:28 +00:00
2022-08-03 20:48:46 +01:00
2007-01-07 10:17:12 +00:00
2005-10-04 14:13:28 +00:00
2005-10-04 14:13:28 +00:00
2021-04-26 18:00:01 +01:00
2022-05-21 10:34:17 +01:00
2021-05-08 17:33:25 +01:00
2021-05-08 17:51:27 +01:00
2021-05-08 17:33:25 +01:00
2022-07-07 18:05:32 +01:00
2022-07-07 18:05:32 +01:00
2022-05-21 10:59:31 +01:00
2007-01-07 10:17:12 +00:00
2021-04-02 19:04:19 +01:00
2021-05-08 17:33:25 +01:00
2007-01-07 10:17:12 +00:00
2021-02-23 18:26:50 +00:00
2022-08-03 20:48:46 +01:00
2007-01-07 10:17:12 +00:00
2019-09-08 20:29:21 +01:00
2022-07-30 17:16:55 +01:00
2007-02-06 22:39:15 +00:00
2021-04-02 19:04:19 +01:00
2021-05-08 17:33:25 +01:00
2021-04-17 13:53:02 +01:00
2019-03-18 21:53:45 +00:00
2022-01-22 15:51:31 +00:00
2022-01-22 15:51:31 +00:00
2022-02-04 19:32:47 +00:00
2021-10-30 17:28:28 +01:00
2022-08-03 20:48:46 +01:00
2022-01-03 12:12:05 +00:00
2020-02-16 11:26:21 +00:00
2022-08-03 20:48:46 +01:00
2022-04-02 17:26:24 +01:00
2022-08-03 20:48:46 +01:00
2019-03-18 22:02:13 +00:00
2017-05-07 16:29:01 +01:00
2022-01-22 15:51:31 +00:00
2022-08-03 20:48:46 +01:00
2022-01-22 15:51:31 +00:00