diff options
Diffstat (limited to 'src/nix-daemon')
-rw-r--r-- | src/nix-daemon/nix-daemon.cc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/nix-daemon/nix-daemon.cc b/src/nix-daemon/nix-daemon.cc index 58ef2109b313..f40cdd51b4b6 100644 --- a/src/nix-daemon/nix-daemon.cc +++ b/src/nix-daemon/nix-daemon.cc @@ -557,11 +557,12 @@ static void performOp(bool trusted, unsigned int clientVersion, for (unsigned int i = 0; i < n; i++) { string name = readString(from); string value = readString(from); - if (name == "build-timeout") - string2Int(value, settings.buildTimeout); + if (name == "build-timeout" || name == "use-ssh-substituter") + settings.set(name, value); else settings.set(trusted ? name : "untrusted-" + name, value); } + settings.update(); } startWork(); stopWork(); |