Re: how to kill child process?

[vapnik spaknik]

>On Monday, August 24, 2020, 03:27:57 PM GMT+1, Sebastian Miele 
><sebastian.miele@gmail.com> wrote:
>
>Look at output of the following:
>
>  pkill ssh
>  ssh -S '~/.ssh/socket/%C' -N -M -f <host> &
>  echo $!
>  pgrep -a ssh
>
>Then look at the output of:
>
> pkill ssh
>  ssh -S '~/.ssh/socket/%C' -N -M <host> &
>  echo $!
>  pgrep -a ssh
>
>Passing '-f' does make 'ssh' fork.
>
>Not using '-f' does not make 'ssh' fork.  (At least the current 'ssh' on
>my machine.  I do not know whether OpenSSH in any way guarantees that
>behavior in the future.)

Even without the '-f' flag I still get the same problem in guile.
If I print the pid of the child process I can see that it is different from the 
pid of the ssh process.