spawn_signal


Description:

public void spawn_signal (int pid, int @signal, bool to_process_group)

Sends a Unix signal to a process that has been spawned by [method@Portal.

spawn].

Parameters:

this

a [class@Portal]

pid

the pid of the process to send a signal to

to_process_group

whether to send the signal to the process group of the process

signal

the Unix signal to send (see signal(7))