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

2012-04-12 13:35:56 +02:00
parent 643a14a527
commit 46108b3bfd
1 changed files with 6 additions and 1 deletions
@@ -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;
                }