/usr/local/lib/swipl/library/ext/clib/streampool.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
      • filesex.pl -- Extended operations on files
      • uuid.pl -- Universally Unique Identifier (UUID) Library
      • sha.pl -- SHA secure hashes
      • process.pl -- Create processes and redirect I/O
      • hash_stream.pl
      • md5.pl -- MD5 hashes
      • rlimit.pl
      • mallocinfo.pl -- Memory allocation details
      • udp_broadcast.pl
      • prolog_stream.pl -- A stream with Prolog callbacks
      • streampool.pl -- Input multiplexing
        • delete_stream_from_pool/1
        • close_stream_pool/0
        • dispatch_stream_pool/1
        • stream_pool_main_loop/0
      • crypt.pl
 stream_pool_main_loop
Keep handling input from the streams in the pool until they have all died away.