List extension packs
/home/mlunife/.local/share/swi-prolog/pack/aleph/prolog
/home/mlunife/.local/share/swi-prolog/pack/auc/prolog
/home/mlunife/.local/share/swi-prolog/pack/bddem/prolog
/home/mlunife/.local/share/swi-prolog/pack/cplint/prolog
/home/mlunife/.local/share/swi-prolog/pack/cplint_r/prolog
/home/mlunife/.local/share/swi-prolog/pack/lbfgs/prolog
/home/mlunife/.local/share/swi-prolog/pack/liftcover/prolog
/home/mlunife/.local/share/swi-prolog/pack/matrix/prolog
/home/mlunife/.local/share/swi-prolog/pack/pascal/prolog
/home/mlunife/.local/share/swi-prolog/pack/phil/prolog
/home/mlunife/.local/share/swi-prolog/pack/sldnfdraw/prolog
/home/mlunife/swish
/home/mlunife/swish/config-enabled
/home/mlunife/swish/lib
/home/mlunife/swish/lib/data
/home/mlunife/swish/lib/plugin
/home/mlunife/swish/lib/render
/home/mlunife/swish/pack/profile/prolog
/home/mlunife/swish/pack/profile/prolog/profile/backend
/home/mlunife/swish/pack/rserve_client/prolog/r
/home/mlunife/swish/pack/smtp/prolog
/home/mlunife/swish/pack/wordnet/prolog
/usr/local/lib/swipl
/usr/local/lib/swipl/boot
/usr/local/lib/swipl/library
/usr/local/lib/swipl/library/clp
/usr/local/lib/swipl/library/dcg
/usr/local/lib/swipl/library/dialect
/usr/local/lib/swipl/library/dialect/swi
/usr/local/lib/swipl/library/ext/RDF
/usr/local/lib/swipl/library/ext/archive
/usr/local/lib/swipl/library/ext/bdb
/usr/local/lib/swipl/library/ext/chr
/usr/local/lib/swipl/library/ext/chr/chr
/usr/local/lib/swipl/library/ext/clib
/usr/local/lib/swipl/library/ext/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpq
/usr/local/lib/swipl/library/ext/clpqr/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpr
/usr/local/lib/swipl/library/ext/http/http
/usr/local/lib/swipl/library/ext/libedit
/usr/local/lib/swipl/library/ext/mqi
/usr/local/lib/swipl/library/ext/nlp
/usr/local/lib/swipl/library/ext/odbc
/usr/local/lib/swipl/library/ext/paxos
/usr/local/lib/swipl/library/ext/pcre
/usr/local/lib/swipl/library/ext/pengines
/usr/local/lib/swipl/library/ext/pldoc
/usr/local/lib/swipl/library/ext/pldoc/pldoc
/usr/local/lib/swipl/library/ext/plunit
/usr/local/lib/swipl/library/ext/protobufs
/usr/local/lib/swipl/library/ext/readline
/usr/local/lib/swipl/library/ext/redis
/usr/local/lib/swipl/library/ext/semweb/semweb
/usr/local/lib/swipl/library/ext/sgml
/usr/local/lib/swipl/library/ext/ssl
/usr/local/lib/swipl/library/ext/ssl/http
/usr/local/lib/swipl/library/ext/stomp
/usr/local/lib/swipl/library/ext/swipy
/usr/local/lib/swipl/library/ext/table
/usr/local/lib/swipl/library/ext/utf8proc
/usr/local/lib/swipl/library/ext/zlib
/usr/local/lib/swipl/library/http
/usr/local/lib/swipl/library/lynx
pengine://0a8c4cb3-cf2c-4b0a-a7d6-6b4897d1feb6
pengine://237846f8-d14e-4a80-a512-6defb7fb6d51
pengine://4558bbd3-ff5c-4355-8623-d580681e2e49
pengine://46026b88-d92d-4063-a399-6bfed31aabbb
pengine://4faa0188-80f8-4ce7-8be5-17a0b835ae73
pengine://50fdc083-dee8-43fb-aeca-b0ff3b005a11
pengine://6849fbc2-48c0-4e13-96b6-d7ec87378dcb
pengine://7767146a-eaa5-43f4-9991-44e70e8cfff2
pengine://7cd20d21-fab8-464b-9a14-521de8d7fed6
pengine://8df28026-6519-4411-bf9a-ca6691b8f3fe
pengine://af2f8d9c-c846-4d55-bc9c-634b5bb44296
pengine://c82b8a87-c11e-48fb-a3fe-2f6279bef0b9
pengine://d06fab2b-6299-4f32-b876-6e7358cb45b2
pengine://d74476a6-f596-40d7-8ea2-50a1468b0581
pengine://f2d84dca-56f0-4a73-af72-a3b869b9a139
/usr/local/lib/swipl/library/ext/http/http/thread_httpd.pl
All
Application
Manual
Name
Summary
Help
http
http
http_unix_daemon.pl
thread_httpd.pl -- Threaded HTTP server
http_server/2
http_current_server/2
http_server_property/2
http_workers/2
http_add_worker/2
http_current_worker/2
http_stop_server/2
http_enough_workers/3
message_level/2
http_requeue/1
http_close_connection/1
http_spawn/2
schedule_workers/1
http_wrapper.pl -- Server processing of an HTTP request
http_header.pl -- Handling HTTP headers
http_stream.pl -- HTTP Streams
http_exception.pl
http_path.pl -- Abstract specification of HTTP server locations
http_dispatch.pl -- Dispatch requests in the HTTP server
http_host.pl -- Obtain public server location
http_json.pl
http_client.pl -- HTTP client library
json.pl -- Reading and writing JSON serialization
http_open.pl -- HTTP client library
http_parameters.pl -- Extract parameters (GET and POST) from HTTP requests
http_multipart_plugin.pl
http_hook.pl
html_write.pl -- Write HTML text
html_quasiquotations.pl -- HTML quasi quotations
html_decl.pl -- HTML emitter analysis and IDE support
js_write.pl
js_grammar.pl -- JavaScript grammar
http_server_files.pl -- Serve files needed by modules from the server
hub.pl -- Manage a hub for websockets
websocket.pl -- WebSocket support
http_session.pl -- HTTP Session management
http_cors.pl -- Enable CORS: Cross-Origin Resource Sharing
mimetype.pl
html_head.pl -- Automatic inclusion of CSS and scripts links
term_html.pl
http_dyn_workers.pl -- Dynamically schedule HTTP workers.
http_log.pl
mimepack.pl -- Create a MIME message
json_convert.pl
http_stop_server
(+Port, +Options)
Stop the indicated HTTP server gracefully. First stops all workers, then stops the server.
To be done
- Realise non-graceful stop