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

  • ext
    • clib
      • socket.pl
      • uid.pl
      • unix.pl -- Unix specific operations
      • syslog.pl -- Unix syslog interface
      • memfile.pl
      • time.pl -- Time and alarm library
      • uri.pl -- Process URIs
      • uuid.pl -- Universally Unique Identifier (UUID) Library
      • 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
      • filesex.pl -- Extended operations on files
      • hash_stream.pl -- Maintain a hash on a stream
      • md5.pl -- MD5 hashes
      • rlimit.pl
      • mallocinfo.pl -- Memory allocation details
      • udp_broadcast.pl -- A UDP broadcast proxy
      • cgi.pl -- Read CGI parameters
      • streampool.pl -- Input multiplexing
      • crypt.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.