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
..
2021-11-19 15:09:17 +00:00
2021-11-23 18:52:15 +00:00
2021-04-18 08:18:27 +01:00
2022-04-25 14:10:16 +01:00
2021-04-18 08:18:27 +01:00
2022-04-25 14:10:16 +01:00
2022-05-01 11:27:37 +01:00
2021-11-19 10:35:38 +00:00
2022-05-31 13:28:50 +01:00
2021-04-18 08:18:27 +01:00
2022-06-25 14:32:23 +01:00
2021-04-18 08:18:27 +01:00
2022-09-01 20:43:23 +01:00
2022-05-18 13:05:17 +01:00
2021-04-18 08:18:27 +01:00
2021-04-18 08:18:27 +01:00
2022-08-03 20:48:46 +01:00
2021-04-18 08:18:27 +01:00
2022-07-07 17:34:24 +01:00
2022-08-03 20:48:46 +01:00
2022-03-12 18:51:21 +00:00
2022-03-12 18:51:21 +00:00
2021-10-24 10:48:25 +01:00
2021-11-30 18:48:06 +00:00
2022-06-01 09:28:25 +01:00
2021-04-18 08:18:27 +01:00
2021-04-18 08:18:27 +01:00
2021-04-18 08:18:27 +01:00
2021-04-18 08:18:27 +01:00
2021-10-16 14:00:46 +01:00
2021-04-18 08:18:27 +01:00
2022-06-25 14:32:23 +01:00
2021-04-18 08:30:44 +01:00
2021-04-18 08:18:27 +01:00
2021-04-18 08:18:27 +01:00
2021-04-18 08:18:27 +01:00
2021-04-18 08:18:27 +01:00
2022-04-24 08:39:04 +01:00
2022-09-01 20:43:23 +01:00
2021-04-18 08:18:27 +01:00
2021-12-28 18:08:31 +00:00
2021-11-19 15:09:17 +00:00
2021-04-18 08:18:27 +01:00
2021-04-18 08:18:27 +01:00
2021-04-18 08:18:27 +01:00
2021-04-18 08:18:27 +01:00
2021-04-18 08:18:27 +01:00
2022-06-25 14:30:39 +01:00
2022-06-25 14:30:39 +01:00
2021-12-28 18:08:31 +00:00
2022-06-25 14:30:39 +01:00
2021-04-18 08:18:27 +01:00
2021-04-18 08:18:27 +01:00
2022-07-07 18:05:32 +01:00
2021-04-18 08:18:27 +01:00
2021-04-18 08:18:27 +01:00
2021-04-19 17:14:01 +01:00
2022-04-15 17:46:06 +01:00
2021-12-28 18:08:31 +00:00
2021-04-18 08:18:27 +01:00
2022-04-24 08:39:04 +01:00
2021-04-22 18:09:13 +01:00
2022-04-24 08:38:27 +01:00
2021-04-18 08:18:27 +01:00
2022-04-22 15:19:25 +01:00
2022-07-07 18:05:32 +01:00
2022-08-03 20:48:46 +01:00
2021-04-18 08:18:27 +01:00
2021-10-25 18:12:21 +01:00
2021-04-18 08:18:27 +01:00
2021-10-10 14:55:15 +01:00
2021-04-18 08:30:44 +01:00
2022-07-07 18:05:32 +01:00
2021-12-22 15:05:04 +00:00
2021-04-18 08:18:27 +01:00
2021-04-18 08:18:27 +01:00
2021-04-18 08:18:27 +01:00
2021-04-18 08:18:27 +01:00
2021-04-18 08:18:27 +01:00
2021-04-18 08:18:27 +01:00