If we start a server with open_process and alike, killing the pid returned by open_process_pid only kill the shell on my configuration. More generally, the pid should be the pid of the process running in the shell not the pid of the shell so we can send signal to the process.