mirror of
https://github.com/PDP-10/its.git
synced 2026-04-01 20:08:07 +00:00
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.
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.