Merge branch 'maint' of git://repo.or.cz/git-gui into maint

[git.git] / connect.c

diff --git a/connect.c b/connect.c
index 3aefd4ace590082b85bd3c4b9b41b8d1f1c72268..71597d4920ff11ed474be1a8bd39b4791611e422 100644 (file)
--- a/connect.c
+++ b/connect.c
@@ -370,6 +370,8 @@ static int git_proxy_command_options(const char *var, const char *value)
 
                if (git_proxy_command)
                        return 0;
+               if (!value)
+                       return config_error_nonbool(var);
                /* [core]
                 * ;# matches www.kernel.org as well
                 * gitproxy = netcatter-1 for kernel.org