comparison media/badges/disk.png @ 888:deef1536a54a

See if file available at https: by doing HEAD request.
author Brian Neal <bgneal@gmail.com>
date Mon, 09 Feb 2015 20:25:13 -0600
parents 953c71f382df
children
comparison
equal deleted inserted replaced
887:9a15f7c27526 888:deef1536a54a