diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2015-10-06 08:53:54 +0100 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2015-10-06 08:53:54 +0100 |
commit | 2e6afb8e8900739080e9df206546913d5da06a12 (patch) | |
tree | 69c1740128595d4eee04fe1dbf088d9433283aed /load-git.c | |
parent | e5fa424a67b351a7c08ab4c9b2396b612635bef4 (diff) | |
download | subsurface-2e6afb8e8900739080e9df206546913d5da06a12.tar.gz |
Correctly handle the webservice userid in preferences
Because of the way that the webservice userid can be saved both in the
preferences and in a data file it was treated differently than other
preferences settings - which prevented the reset of the preferences from
actually clearing it.
This patch makes sure that if the preferences are reset the preferences UI
reflects that. To make this work the data file loading functions can no
longer be allowed to just simply clear out the userid preference value
just in case they might load a new one.
Fixes #939
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'load-git.c')
-rw-r--r-- | load-git.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/load-git.c b/load-git.c index 8c7df7bcc..3c593bb4c 100644 --- a/load-git.c +++ b/load-git.c @@ -1469,7 +1469,6 @@ static int parse_settings_entry(git_repository *repo, const git_tree_entry *entr if (!blob) return report_error("Unable to read settings file"); set_save_userid_local(false); - set_userid(""); for_each_line(blob, settings_parser, NULL); git_blob_free(blob); return 0; |