Gitblit devel
parent: 388872 | patch | commitdiff
James Moger
2012-02-20 5e58f0a0ebfcf523fa1bd7cc74e3808140c75261
refs
author James Moger <james.moger@gitblit.com>
Monday, February 20, 2012 12:33 -0500
committer James Moger <james.moger@gitblit.com>
Monday, February 20, 2012 12:33 -0500
commit5e58f0a0ebfcf523fa1bd7cc74e3808140c75261
tree a1a3b8a0d0c3d70fbba93a92d92bd1101fcbcead tree | zip | gz
parent 3888724169e26c7d637e5c4c1fa82feb4d291215 view | diff 
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.
3 files modified
26 ■■■■■ changed files
src/com/gitblit/ConfigUserService.java 8 ●●●●● diff | view | raw | blame | history
src/com/gitblit/FileSettings.java 15 ●●●●● diff | view | raw | blame | history
src/com/gitblit/FileUserService.java 3 ●●●●● diff | view | raw | blame | history