diff options
author | Matthias Sohn <matthias.sohn@sap.com> | 2017-06-11 01:20:34 +0200 |
---|---|---|
committer | Matthias Sohn <matthias.sohn@sap.com> | 2017-06-11 12:24:12 +0200 |
commit | 18ae9bb57db46d7d8720394cf409d56cd4b750f7 (patch) | |
tree | 97e5365e7036049b2a9ff8fcf582521525fbd683 /org.eclipse.jgit.http.server/BUILD | |
parent | b6f954ad426f91561b4aa09d7ba23652516e7b0a (diff) | |
download | jgit-18ae9bb57db46d7d8720394cf409d56cd4b750f7.tar.gz jgit-18ae9bb57db46d7d8720394cf409d56cd4b750f7.zip |
Allow to use an external ExecutorService for background auto-gc
If set use the external executor, otherwise use JGit's own simple
WorkQueue. Move WorkQueue to an internal package so we can reuse it
without exposing it in the public API.
Change-Id: I060d62ffd6692362a88b4bf13ee07b0dc857abe9
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
Diffstat (limited to 'org.eclipse.jgit.http.server/BUILD')
0 files changed, 0 insertions, 0 deletions