Oh, line 46 in the diff, the first
Posix.kill (this.child_pid, Posix.SIGTERM);
is unecessary.
« Back to merge proposal
Oh, line 46 in the diff, the first
Posix.kill (this.child_pid, Posix.SIGTERM);
is unecessary.