diff options
| author | Mathieu Othacehe <m.othacehe@gmail.com> | 2020-03-23 18:35:51 +0100 |
|---|---|---|
| committer | Mathieu Othacehe <m.othacehe@gmail.com> | 2020-03-23 18:46:40 +0100 |
| commit | f9b6f75d1c387acbedfb27962d5dbd34bc3c1492 (patch) | |
| tree | 3af31ebd3af90f647cf7315b69dedf278f70fb44 /gnu/system | |
| parent | 5490b2c733c96887c7d0dbfd6ce438df170870a1 (diff) | |
| download | patches-f9b6f75d1c387acbedfb27962d5dbd34bc3c1492.tar patches-f9b6f75d1c387acbedfb27962d5dbd34bc3c1492.tar.gz | |
installer: Fix cow-store umount issue.
* gnu/installer/final.scm (kill-cow-users): Ignore exception that could be
raised if a process disappears between reading its pid and its maps file.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions