diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-08-04T17·48+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-08-04T17·48+0000 |
commit | 587dc8aa003cc5f676cc7d01b4fea984f5033107 (patch) | |
tree | 0b04f6705e122f54aa3c7bd25103b8eddebd6a58 /src/nix-worker/nix-worker.cc | |
parent | fd9c77dfc7b90d447e6bfdb4f0d5b521184aeddb (diff) | |
parent | 750be19ae865da3ee03c132a287148f2402ad72b (diff) |
* Sync with the trunk.
Diffstat (limited to 'src/nix-worker/nix-worker.cc')
-rw-r--r-- | src/nix-worker/nix-worker.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/nix-worker/nix-worker.cc b/src/nix-worker/nix-worker.cc index d41877e881a0..b292b83ed52c 100644 --- a/src/nix-worker/nix-worker.cc +++ b/src/nix-worker/nix-worker.cc @@ -7,6 +7,7 @@ #include "globals.hh" #include <iostream> +#include <cstring> #include <unistd.h> #include <signal.h> #include <sys/types.h> @@ -111,6 +112,7 @@ static bool isFarSideClosed(int socket) time and wouldn't have to worry about races. */ static void sigPollHandler(int sigNo) { + using namespace std; try { /* Check that the far side actually closed. We're still getting spurious signals every once in a while. I.e., |