Suppress warning about ssh-auth-sock

This commit is contained in:
Eelco Dolstra 2017-04-28 16:55:52 +02:00
parent 73bba12d8b
commit 895f00c372
No known key found for this signature in database
GPG Key ID: 8170B4726D7198DE

View File

@ -483,7 +483,9 @@ static void performOp(ref<LocalStore> store, bool trusted, unsigned int clientVe
};
try {
if (trusted
if (name == "ssh-auth-sock") // obsolete
;
else if (trusted
|| name == settings.buildTimeout.name
|| name == settings.connectTimeout.name)
settings.set(name, value);