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

  • ext
    • clib
      • socket.pl
      • uid.pl
      • unix.pl
      • syslog.pl -- Unix syslog interface
      • memfile.pl
      • time.pl
      • uri.pl
      • filesex.pl
      • uuid.pl
      • sha.pl -- SHA secure hashes
      • process.pl
      • hash_stream.pl
      • md5.pl -- MD5 hashes
      • rlimit.pl
      • mallocinfo.pl -- Memory allocation details
      • prolog_stream.pl -- A stream with Prolog callbacks
      • prolog_server.pl
      • udp_broadcast.pl -- A UDP broadcast proxy
      • crypt.pl
      • streampool.pl -- Input multiplexing
        • delete_stream_from_pool/1
        • close_stream_pool/0
        • dispatch_stream_pool/1
        • stream_pool_main_loop/0
      • cgi.pl
 close_stream_pool
Close all streams in the pool. This causes stream_pool_main_loop/0 to terminate.