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

  • ext
    • clib
      • socket.pl -- Network socket (TCP and UDP) library
      • uid.pl
      • unix.pl -- Unix specific operations
      • syslog.pl
      • 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
      • 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
      • streampool.pl -- Input multiplexing
        • delete_stream_from_pool/1
        • close_stream_pool/0
        • dispatch_stream_pool/1
        • stream_pool_main_loop/0
      • prolog_stream.pl -- A stream with Prolog callbacks
 close_stream_pool
Close all streams in the pool. This causes stream_pool_main_loop/0 to terminate.