Christian Göttsche a05e78f531 Linux: use more robust pid parsing
Also add comment to condition
2021-04-21 20:58:28 +02:00
..
2021-03-04 23:57:45 +01:00
2021-01-19 18:06:48 +01:00
2021-01-04 23:12:43 +01:00
2021-03-24 19:27:57 +01:00
2021-04-14 17:29:56 +02:00
2021-04-14 17:29:56 +02:00
2021-04-14 17:21:43 +02:00
2021-04-14 17:21:43 +02:00
2021-03-04 23:57:45 +01:00
2020-12-19 21:13:32 +01:00
2021-04-14 17:21:43 +02:00
2021-03-04 23:57:45 +01:00
2020-10-31 18:51:53 +01:00
2021-02-07 12:41:52 +01:00