• 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_cache_delete(+URL) is det
Delete an URL from the cache. Succeeds, even if the cache files do not exist.
Errors
- Throws exceptions from delete_file/1 other than existence errors.
ClioPatria (version V3.1.1-21-gb8003bb)