http_stop_server(+Port,
+Options)Stop the HTTP server at Port. Halting a server is done
gracefully, which means that requests being processed are not
abandoned. The Options list is for future refinements of this
predicate such as a forced immediate abort of the server, but is
currently ignored.
- Fixed in 10.1.20 (👉0070431) #176 http_stop_server/2 could hang if the stop signal arrives in http:schedule_workers/1