diff options
| -rw-r--r-- | src/umount.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/umount.c b/src/umount.c index 24c0947f21..57d25e8945 100644 --- a/src/umount.c +++ b/src/umount.c @@ -114,7 +114,12 @@ static int mount_points_list_get(MountPoint **head) { goto finish; } - if (mount_point_is_api(p) || mount_point_ignore(p)) { + /* Ignore mount points we can't unmount because they + * are API or because we are keeping them open (like + * /dev/console) */ + if (mount_point_is_api(p) || + mount_point_ignore(p) || + path_streq(p, "/dev/console")) { free(p); continue; } |