Lucas CHOLLET
6f04a3778b
FileManager: Change PGID of spawned processes
...
Processes spawned by FileManager (e.g. through double-click) now set
their PGID to that of the session leader. It allows the filemanage
instance to be killed without propagating the signal to the new process.
2022-07-09 11:41:07 +01:00
..
2022-04-18 12:57:34 +02:00
2022-04-06 11:36:15 +02:00
2022-06-03 12:29:56 +01:00
2022-07-06 11:12:45 +02:00
2022-07-03 13:19:52 +02:00
2022-06-10 20:03:37 +01:00
2022-06-29 03:27:59 +00:00
2022-06-30 11:51:25 +02:00
2022-06-30 11:51:25 +02:00
2022-06-10 21:26:06 +01:00
2022-04-03 17:13:51 -07:00
2022-06-28 17:52:42 +01:00
2022-07-09 11:41:07 +01:00
2022-07-06 14:25:30 +02:00
2022-06-27 20:22:15 +01:00
2022-07-06 11:12:45 +02:00
2022-06-16 14:26:55 +01:00
2022-05-13 16:27:43 +02:00
2022-07-06 11:12:45 +02:00
2022-04-18 12:57:34 +02:00
2022-06-06 15:14:08 +01:00
2022-05-12 13:10:49 +02:00
2022-06-28 17:52:42 +01:00
2022-07-09 09:22:25 +01:00
2022-04-09 23:48:18 +02:00
2022-05-26 10:24:43 +01:00
2022-06-30 11:54:29 +02:00
2022-06-30 17:31:07 +02:00
2022-05-25 23:14:22 +01:00
2022-05-29 15:27:03 +02:00
2022-05-13 16:27:43 +02:00
2022-06-30 11:53:50 +02:00
2022-07-08 22:27:38 +00:00
2022-07-08 12:04:01 +02:00
2022-07-06 11:12:45 +02:00
2022-05-15 12:17:36 +02:00
2022-06-30 11:51:25 +02:00
2022-06-10 21:26:06 +01:00
2022-07-09 09:22:25 +01:00