/usr/lib/swipl/library/ext/clib/process.pl
All Application Manual Name SummaryHelp

  • ext
    • clib
      • socket.pl
      • uid.pl
      • unix.pl
      • syslog.pl
      • memfile.pl
      • time.pl -- Time and alarm library
      • uri.pl
      • filesex.pl -- Extended operations on files
      • uuid.pl
      • sha.pl -- SHA secure hashes
      • process.pl -- Create processes and redirect I/O
        • process_create/3
        • process_which/2
        • process_id/1
        • process_id/2
        • is_process/1
        • process_release/1
        • process_wait/2
        • process_wait/3
        • process_kill/1
        • process_kill/2
        • process_group_kill/1
        • process_group_kill/2
        • process_set_method/1
      • hash_stream.pl -- Maintain a hash on a stream
      • md5.pl
      • rlimit.pl
      • mallocinfo.pl -- Memory allocation details
      • prolog_stream.pl -- A stream with Prolog callbacks
      • crypt.pl
      • udp_broadcast.pl
      • streampool.pl -- Input multiplexing
      • cgi.pl
 process_kill(+PID) is det
 process_kill(+PID, +Signal) is det
Send signal to process PID. Default is term. Signal is an integer, Unix signal name (e.g. SIGSTOP) or the more Prolog friendly variation one gets after removing SIG and downcase the result: stop. On Windows systems, Signal is ignored and the process is terminated using the TerminateProcess() API. On Windows systems PID must be obtained from process_create/3, while any PID is allowed on Unix systems.
Compatibility
- SICStus does not accept the prolog friendly version. We choose to do so for compatibility with on_signal/3.