diff options
author | James Moger <james.moger@gitblit.com> | 2012-02-20 12:33:57 -0500 |
---|---|---|
committer | James Moger <james.moger@gitblit.com> | 2012-02-20 12:33:57 -0500 |
commit | 5e58f0a0ebfcf523fa1bd7cc74e3808140c75261 (patch) | |
tree | a1a3b8a0d0c3d70fbba93a92d92bd1101fcbcead /src/log4j.properties | |
parent | 3888724169e26c7d637e5c4c1fa82feb4d291215 (diff) | |
download | gitblit-5e58f0a0ebfcf523fa1bd7cc74e3808140c75261.tar.gz gitblit-5e58f0a0ebfcf523fa1bd7cc74e3808140c75261.zip |
Workaround 1 sec resolution of File.lastModified on Linux (issue-55)
Shockingly, File.lastModified() does not always support millisecond
resolution on all platforms even if the underlying filesystem supports
it. Added a forceReload flag (in addition to last modified checks) to
ensure that user backends and configuration properties are properly
reloaded.
Diffstat (limited to 'src/log4j.properties')
0 files changed, 0 insertions, 0 deletions