Change disk format to avoid non-safe characters.
commit95baeeff7d78190cb980d4b38d14bfe3fcec2bdc
authorJuliusz Chroboczek <jch@pps.jussieu.fr>
Mon, 4 Sep 2006 00:14:53 +0000 (3 17:14 -0700)
committerJuliusz Chroboczek <jch@pps.jussieu.fr>
Mon, 4 Sep 2006 00:14:53 +0000 (3 17:14 -0700)
tree34822fe562bf39d15a79fc5824976074ab6661f9
parent931d62e05f524e80accf26aa807cafa7a79cbb74
Change disk format to avoid non-safe characters.

Will now quote all characters other than a small set of safe characters
when writing to the disk cache.

This is an incompatible change to the on-disk format.  However, it is
still safe to share a disk cache between 0.9 and 0.10 -- each version
will ignore the other version's files for the few names that have
changed.

darcs-hash:20060904001453-4cc09-1adda9690ef32e9c6cc4a4998e41d01063dddbf6.gz
diskcache.c