Caching: Access a local file, but ensure it is up-to-date from a remote URL

2014-10-13 Thread Ben Finney
Howdy all, I'm hoping that the problem I currently have is one already solved, either in the Python standard library, or with some well-tested obvious code. A program I'm working on needs to access a set of files locally; they're just normal files. But those files are local cached copies of

Re: Caching: Access a local file, but ensure it is up-to-date from a remote URL

2014-10-13 Thread Chris Angelico
On Mon, Oct 13, 2014 at 5:36 PM, Ben Finney ben+pyt...@benfinney.id.au wrote: So this is something similar to an HTTP object cache. Except where those are usually URL-focussed with the local files a hidden implementation detail, I want an API that focusses on the local files, with the remote