diff options
| -rw-r--r-- | src/nix-daemon/nix-daemon.cc | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/src/nix-daemon/nix-daemon.cc b/src/nix-daemon/nix-daemon.cc index 9fcb81dd5aa3..b4e753f5521f 100644 --- a/src/nix-daemon/nix-daemon.cc +++ b/src/nix-daemon/nix-daemon.cc @@ -453,10 +453,14 @@ static void performOp(ref<LocalStore> store, bool trusted, unsigned int clientVe for (unsigned int i = 0; i < n; i++) { string name = readString(from); string value = readString(from); - if (name == "build-timeout") - settings.set(name, value); - else - settings.set(trusted ? name : "untrusted-" + name, value); + try { + if (name == "build-timeout") + settings.set(name, value); + else + settings.set(trusted ? name : "untrusted-" + name, value); + } catch (UsageError & e) { + warn(e.what()); + } } } startWork(); |