Did you know ... | Search Documentation: |
Title for pldoc(default) |
[Mar 15 2024]
tellString()
/toldString()
could fail to reclaim the temporary stream
object.[Mar 14 2024]
help(Name/Arity)
: handle user predicates.[Mar 13 2024]
inherit_from(Thread)
option or using
PL_thread_attach_engine() (which inherits from main
), we may copy
current_input
or current_output
from a temporary redirect.
The reference counting when copying the streams was broken, possibly
causing memory corruption. This is improved, but not 100% safe.
However,
we now set the current_input
and current_output
to user_input
and
user_output
, which typically never change.
[Mar 12 2024]
[Mar 11 2024]
trace(Head, Port(Condition))
[Mar 12 2024]
fileno
field to the IOSTREAM struct.[Mar 11 2024]
[Mar 10 2024]
prolog:Feature
requirements.[Mar 7 2024]
stream_property(S, file_no(N))
safe. This used to be
subject to race conditions between the enumerating thread and threads
that close the underlying stream. We now copy the file handle as it
was found when creating the stream to the main stream structure.[Mar 6 2024]
FALSE
and document
this is valid. After comment by Peter Ludemann.[Mar 5 2024]
release()
on GC or cleanup after
PL_free_blob()[Mar 4 2024]
[Mar 3 2024]
[Mar 2 2024]
word''[Mar 1 2024]
[Mar 2 2024]
word''.[Mar 10 2024]
Intention is to prevent intermittent build test failure on Linux armv7, and Mac M1.
The HTTP, HTTPS, SOCKS and "unused" ports are still reused, though.
Original build failure report: https://swi-prolog.discourse.group/t/swi-prolog-9-2-2-fails-http-proxy-test-on-armv7/7275
main
This thread is
started lazily from an HTTP worker and would by default interit the
temporary CGI stream as current_output
. By interiting from main we
can safely print debug messages and avoid stream existence exceptions.[Mar 9 2024]
granularity
This setting controls
how precisely we manage idle time updated and session timeouts.
This is notably important when using an external (Redis) database
for sharing session information to reduce traffic.[Mar 8 2024]
guarded(false)
option, the created web socket is now
only left open if the passed Goal succeeds.[Mar 7 2024]
AF_UNIX
socketsopen_files
in server stats.[Mar 6 2024]
/health
with CPU time and thread satistics.
Also allows asking for specific keys only in the HTTP request, e.g.
curl http://my.org/health?fields=workers,open_files
[Mar 5 2024]
library(http_server_health)
[Mar 2 2024]
[Feb 28 2024]
[Mar 13 2024]
[Mar 3 2024]
[Mar 12 2024]