Nikolay Nikolov
6f0cad6843
backport to v 1.6: nimsuggest: Added optional command line option '--clientProcessId:XXX' ( #22969 ) ( #22982 )
...
When it is specified, the nimsuggest instance monitors whether this
process is still alive. In case it's found to be dead, nimsuggest shuts
itself down. Currently only implemented on POSIX and Windows platforms.
The switch is silently ignored on other platforms. Note that the Nim
language server should still try to shut down its child nimsuggest
processes. This switch just adds extra protection against crashing Nim
language server and gets rid of the remaining nimsuggest processes,
which consume memory and system resources.
(cherry picked from commit 502a4486ae )
2023-11-25 11:50:37 +01:00
..
2022-08-15 18:38:17 -04:00
2021-09-29 11:14:47 +02:00
2022-08-23 13:32:13 +02:00
2019-12-05 17:31:51 +01:00
2023-11-08 00:22:40 +01:00
2021-07-27 09:37:11 +02:00
2021-08-13 09:35:48 +02:00
2019-11-28 17:13:04 +01:00
2021-05-12 22:00:37 +02:00
2023-03-02 10:29:24 +01:00
2023-09-15 12:58:20 +02:00
2020-01-23 14:25:22 +01:00
2021-03-19 16:53:38 +01:00
2022-08-23 21:32:47 +02:00
2023-05-24 09:06:23 +02:00
2021-01-27 22:35:43 +01:00
2020-09-16 14:57:01 +02:00
2023-05-24 11:23:40 +02:00
2021-03-29 21:16:11 +02:00
2023-09-14 14:03:47 +02:00
2021-10-13 11:09:45 +02:00
2022-10-30 17:01:02 +01:00
2023-09-11 20:41:28 +02:00
2022-02-23 11:38:52 +01:00
2023-04-24 22:09:07 +02:00
2021-07-18 10:49:03 +02:00
2023-05-11 15:12:38 +02:00
2017-01-07 22:35:09 +01:00
2021-06-18 15:52:08 +02:00
2023-09-11 20:24:21 +02:00
2023-04-24 17:33:53 +02:00
2022-07-18 07:55:08 +02:00
2023-04-26 10:53:43 +02:00
2021-01-02 07:30:39 +01:00
2021-04-01 08:48:44 +02:00
2022-08-02 16:00:11 +02:00
2021-06-02 09:02:14 -07:00
2023-09-11 20:24:58 +02:00
2021-09-25 13:22:00 +02:00
2019-11-28 17:13:04 +01:00
2019-10-03 00:48:31 -04:00
2021-09-27 19:25:00 +02:00
2020-10-25 08:50:47 +01:00
2021-01-07 20:26:40 +01:00
2023-08-11 12:41:50 +02:00
2020-06-01 19:21:41 +02:00
2023-11-01 00:51:48 +00:00
2023-02-14 20:18:41 +08:00
2021-04-21 07:41:33 +02:00
2021-11-11 16:16:03 +01:00
2023-05-11 15:12:38 +02:00
2021-05-20 15:48:46 +02:00
2023-09-11 21:32:58 +02:00
2022-10-21 09:19:03 +02:00
2023-01-31 10:23:52 +01:00
2023-05-24 11:23:40 +02:00
2021-03-09 20:19:24 +01:00
2023-04-27 07:20:35 +02:00
2023-06-15 12:43:59 +02:00
2021-03-03 07:15:07 +01:00
2023-09-14 13:09:43 +02:00
2023-09-11 10:54:34 +02:00
2021-01-12 09:36:51 +01:00
2021-04-17 11:14:09 +02:00
2022-03-24 12:26:03 +01:00
2023-11-08 00:22:40 +01:00
2022-07-18 07:55:08 +02:00
2022-07-18 07:55:08 +02:00
2023-04-24 22:08:02 +02:00
2020-04-01 17:48:17 +02:00
2021-04-21 07:41:33 +02:00
2022-12-16 05:52:42 +01:00
2023-01-19 10:33:49 +01:00
2021-07-15 22:13:01 +02:00
2022-03-28 07:45:51 +02:00
2023-09-14 16:59:13 +02:00
2021-08-24 17:15:26 +02:00
2021-04-21 07:41:33 +02:00
2020-06-23 10:53:57 +02:00
2021-10-12 15:41:30 +02:00
2019-09-27 07:02:54 +02:00
2021-03-09 20:19:24 +01:00
2023-11-25 11:50:37 +01:00
2022-07-18 07:55:08 +02:00
2022-07-18 07:55:08 +02:00
2020-10-21 15:53:43 -07:00
2023-04-26 09:31:33 +02:00
2021-06-30 07:16:31 +02:00
2022-07-18 07:55:08 +02:00
2023-03-09 18:32:51 +01:00
2021-09-28 03:05:22 -04:00
2022-03-24 13:25:20 +01:00
2018-05-27 19:19:12 +02:00
2023-09-11 10:54:34 +02:00
2020-11-25 07:48:27 +01:00
2020-09-22 18:24:13 +02:00
2020-05-11 13:50:40 +02:00
2023-06-13 08:21:51 +02:00
2021-07-09 11:41:28 +02:00
2021-04-09 08:00:13 +02:00
2021-07-20 22:13:52 +02:00
2019-11-28 17:13:04 +01:00
2020-09-11 01:04:07 +02:00
2021-07-22 08:00:29 +02:00
2023-09-15 19:49:57 +02:00
2023-09-12 09:24:33 +02:00
2023-06-15 10:49:15 +02:00
2023-09-15 12:58:20 +02:00
2021-01-07 20:26:40 +01:00
2023-04-25 16:27:29 +02:00
2023-06-06 15:26:17 +08:00
2023-09-11 13:52:59 +02:00
2023-04-25 16:27:29 +02:00
2023-05-24 11:23:40 +02:00
2023-06-06 09:32:11 +02:00
2023-04-26 09:31:33 +02:00
2023-09-14 13:09:43 +02:00
2023-11-08 00:22:40 +01:00
2023-09-14 14:04:43 +02:00
2023-09-11 12:02:29 +02:00
2023-09-12 09:24:33 +02:00
2023-04-25 18:31:15 +02:00
2023-09-14 17:02:49 +02:00
2021-01-02 07:30:39 +01:00
2023-05-11 15:12:38 +02:00
2021-04-17 11:14:09 +02:00
2022-04-05 17:32:32 +02:00
2020-11-10 21:53:25 +01:00
2023-11-18 09:52:15 +08:00
2021-04-17 11:49:54 +02:00
2020-04-03 09:10:45 +02:00
2023-09-11 20:24:11 +02:00
2020-11-30 23:36:38 +01:00
2021-05-09 00:56:37 +02:00
2023-06-15 10:44:50 +02:00
2023-11-08 00:22:40 +01:00
2020-11-26 11:54:18 -08:00
2023-05-11 15:12:38 +02:00
2023-09-15 09:10:56 +02:00
2021-02-17 11:52:46 +01:00
2023-09-15 09:10:56 +02:00
2021-06-12 21:35:12 +02:00
2023-09-15 09:10:56 +02:00
2021-07-20 22:13:52 +02:00
2021-11-22 16:30:41 +01:00
2022-08-02 16:00:11 +02:00
2020-07-09 19:21:20 +02:00
2023-09-14 13:09:43 +02:00