diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2016-07-23 12:54:30 +0900 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2016-07-23 12:54:30 +0900 |
| commit | 177e21076b9813eefca7939cda8c3eb559a4d145 (patch) | |
| tree | 7f2a56656967dda0d8f71e3db9534c980b6285ef /core/pref.h | |
| parent | 9815eaf1ed039d7831c1de64c4f083ebcc90abe7 (diff) | |
| download | subsurface-177e21076b9813eefca7939cda8c3eb559a4d145.tar.gz | |
Allow the user to give longer cloud timeout on the command line
When stuck in areas with really bad internet 5 seconds may not be enough,
but making the timeout longer in general seems the wrong way to go. So
keep the default 5 seconds but allow the user to override that with
subsurface --cloud-timeout=NN
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'core/pref.h')
| -rw-r--r-- | core/pref.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/core/pref.h b/core/pref.h index a30417923..617e349c1 100644 --- a/core/pref.h +++ b/core/pref.h @@ -132,6 +132,7 @@ struct preferences { int time_threshold; int distance_threshold; bool git_local_only; + short cloud_timeout; locale_prefs_t locale; //: TODO: move the rest of locale based info here. }; enum unit_system_values { |