diff options
| author | David Turner <dturner@twopensource.com> | 2016-07-04 02:05:23 -0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2016-07-06 11:22:40 -0700 |
| commit | fcb57acdb1404f8891fd71fa18b74a34fdd6dac9 (patch) | |
| tree | 67293df4b277f6188120d930778493c3089dfcfe /index-helper.c | |
| parent | 06e6c17a46d8866c84c62e14bb48456c6b212cff (diff) | |
| download | git-dt/index-helper.tar.gz | |
index-helper: indexhelper.exitAfter configdt/index-helper
Add a configuration variable, indexhelper.exitAfter, which provides a
default time to keep the index-helper alive. This is useful with
indexhelper.autorun; some users will want to keep the
automatically-run index-helper alive across their lunch break and will
thus set indexhelper.exitAfter to a high value.
Signed-off-by: David Turner <dturner@twopensource.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'index-helper.c')
| -rw-r--r-- | index-helper.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/index-helper.c b/index-helper.c index af354856b8..7e6242516a 100644 --- a/index-helper.c +++ b/index-helper.c @@ -399,6 +399,8 @@ int main(int argc, char **argv) git_extract_argv0_path(argv[0]); git_setup_gettext(); + git_config_get_int("indexhelper.exitafter", &idle_in_seconds); + if (argc == 2 && !strcmp(argv[1], "-h")) usage_with_options(usage_text, options); |