server: Use the Last-Modified header to set last-modified time (mtime)
authorW. Trevor King <wking@tremily.us>
Thu, 20 Feb 2014 21:42:19 +0000 (13:42 -0800)
committerW. Trevor King <wking@tremily.us>
Thu, 20 Feb 2014 21:42:19 +0000 (13:42 -0800)
commitb5e85dd4e879f88eab3c9d7ba15b6d216b8bfde8
treeca48c248f92b8229d4bb9410b80db8f035f173dc
parenta1a746a4221317c873d4f8067b8164fef24751c9
server: Use the Last-Modified header to set last-modified time (mtime)

This also sets the access time to the same value, but we're only
calling _get_file if we're about to serve the file to a client, which
will clobber any value of atime set here.
package_cache/server.py