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
..
2025-01-28 10:23:52 +01:00