Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Use 1s precision when comparing file mtimes | Jacob Mitchell | 2016-09-19 |
| | | | | | | | | | | 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. | ||
* | HTTP Last-Modified: latest modtime of source files | Jacob Mitchell | 2016-09-07 |
See issue #38. |