1
0
mirror of https://github.com/PDP-10/its.git synced 2026-01-11 23:53:12 +00:00
Lars Brinkhoff f77c78363e Properly quote name of started program.
So that a space in the name isn't mistaken for the start of the next
argument, which is the process ID to kill later.
2025-01-28 10:23:52 +01:00
..
2023-07-05 07:07:04 +02:00
2025-01-03 13:31:46 +01:00
2024-10-22 07:02:21 -07:00
2024-08-28 07:08:09 +02:00
2024-03-10 20:42:12 +01:00
2021-09-29 15:46:25 +02:00
2018-08-04 07:01:11 +02:00
2018-10-08 18:02:02 +02:00
2025-01-03 13:31:46 +01:00
2019-05-11 19:57:20 +02:00
2021-09-22 07:11:34 +02:00
2023-11-22 08:32:21 -06:00