From: Lennart Poettering <lennart@poettering.net>
Date: Thu, 12 Apr 2012 11:34:09 +0000 (+0200)
Subject: umount: don't try to umount /dev/console, since we are using it
X-Git-Tag: v183~369
X-Git-Url: https://err.no/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=46108b3bfd8c4bdf11ec55fa36758057c23c131d;p=systemd

umount: don't try to umount /dev/console, since we are using it
---

diff --git a/src/umount.c b/src/umount.c
index 24c0947f..57d25e89 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;
                 }