summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorLennart Poettering <lennart@poettering.net>2012-04-12 13:34:09 +0200
committerLennart Poettering <lennart@poettering.net>2012-04-12 13:35:56 +0200
commit46108b3bfd8c4bdf11ec55fa36758057c23c131d (patch)
tree23654f633d48711b3506588805695f92ed32366c /src
parent643a14a5271ed19ec30a9882d4b9e9ae1c357fb1 (diff)
umount: don't try to umount /dev/console, since we are using it
Diffstat (limited to 'src')
-rw-r--r--src/umount.c7
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;
}