change tunable of remote repositories to allow generating history only from UI
fixes #748
Merge branch 'master' of github.com:OpenGrok/OpenGrok into hist_uionly
need to be more intelligent in determining if repo is remote
use correct path separator
introduce dirbased state for remote SCMs
fix the comment
fix formatting
Merge pull request #757 from vladak/hist_uionly

change tunable of remote repositories to allow generating history only f...
cleanup after remote repos change
do not check repository unless it is non-null in getHistory()
need to wait for the renamed thread pool threads to be really gone
lucene 4.7.0