diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-11-26 15:08:50 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-11-26 15:58:33 +0100 |
commit | 9b0713012905f3997d6fad201dba7c3d93b38b13 (patch) | |
tree | 238e98073955783e3ceced6da79d21a5c413388e /nix | |
parent | 5c22f3726e6a3e44792fd44f7b42122194a16f35 (diff) |
list-runtime-roots: Ignore ESRCH while reading from /proc.
Fixes <https://bugs.gnu.org/29368>.
Reported by Martin Castillo <castilma@uni-bremen.de>.
* nix/scripts/list-runtime-roots.in (referenced-files): Ignore ESRCH.
Diffstat (limited to 'nix')
-rw-r--r-- | nix/scripts/list-runtime-roots.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/nix/scripts/list-runtime-roots.in b/nix/scripts/list-runtime-roots.in index 511789a539..48a07edf5f 100644 --- a/nix/scripts/list-runtime-roots.in +++ b/nix/scripts/list-runtime-roots.in @@ -121,6 +121,7 @@ or the empty list." (lambda args (let ((err (system-error-errno args))) (if (or (= ENOENT err) ;TOCTTOU race + (= ESRCH err) ;ditto (= EACCES err)) ;not running as root '() (apply throw args))))))) |