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 /TODO | |
| parent | 5c22f3726e6a3e44792fd44f7b42122194a16f35 (diff) | |
| download | patches-9b0713012905f3997d6fad201dba7c3d93b38b13.tar patches-9b0713012905f3997d6fad201dba7c3d93b38b13.tar.gz | |
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 'TODO')
0 files changed, 0 insertions, 0 deletions