• Places
    • Home
    • Graphs
    • Prefixes
  • Admin
    • Users
    • Settings
    • Plugins
    • Statistics
  • Repository
    • Load local file
    • Load from HTTP
    • Load from library
    • Remove triples
    • Clear repository
  • Query
    • YASGUI SPARQL Editor
    • Simple Form
    • SWISH Prolog shell
  • Help
    • Documentation
    • Tutorial
    • Roadmap
    • HTTP Services
  • Login

/home/vdeboer/src/ClioPatria/ClioPatria/lib/http/url_cache.pl
AllApplicationManualNameSummaryHelp

  • lib
    • http
      • yui_resources.pl -- Define HTML resources (scripts and CSS files)
      • http_request_value.pl -- Analyse values from HTTP request fields
      • cp_jquery.pl
      • url_cache.pl -- Cache the content of external URLs in local files
        • url_cache/3
        • url_cache_delete/1
        • url_cache_reset_server_status/0
        • url_cache_reset_server_status/1
        • url_cache_file/4
        • url_cached/2
        • url_cached/3
 url_cached(?URL, ?Property) is nondet
 url_cached(+Dir, ?URL, ?Property) is nondet
True if URL is in the cache represented by the directory Dir and has Property. Defined properties are:
file(-File)
File is the cache-file for the given URL
mime_type(-Mime)
Mime is the mime-type of the URL as reported by the server
fetched(-Stamp:integer)
Timestamp that specifies when the URL was fetched
last_modified(-Modified:atom)
If present, this is the modification time as provided by the server.
ClioPatria (version V3.1.1-21-gb8003bb)