Did you know ... Search Documentation:
update.pl
PublicShow source
Source update(+Request)[private]
HTTP Handler for /update. Performs a GIT pull and a Prolog make/0.
Source git_update//[private]
Run git update, collecting the output
Source make//[private]
Run make, collecting output
Source db_sync_thread(+Time)
Sync the persistency database every Time seconds.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

Source db_sync_thread