diff options
author | Jacob Mitchell <jmitchell@member.fsf.org> | 2016-09-19 22:34:11 -0700 |
---|---|---|
committer | Jacob Mitchell <jmitchell@member.fsf.org> | 2016-09-19 22:34:11 -0700 |
commit | 2f81ca80930450cbbb12dba7abd112e7b296f1f6 (patch) | |
tree | c32d4e40b99242c7eba2ae198639611753425240 /src/compiler.sml | |
parent | 3afe16344c02881e4ace9e8965f48154b5225638 (diff) |
Use 1s precision when comparing file mtimes
HTTP Last-Modified caching depends on mtimes of files read during
compilation. Only mtimes before the compiler's start (reset) time are
considered. On filesystems with lower mtime precision than Standard
ML's Time.now, a temporary file generated by the compiler may have an
mtime preceding the reset time even though it was modified after. The
fix here is to compare times using 1s precision, the most granular
used by filesystems.
Diffstat (limited to 'src/compiler.sml')
0 files changed, 0 insertions, 0 deletions