]> git.tue.mpg.de Git - micoforia.git/commit
projects / micoforia.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5805014) | patch
shutdown_console(): Make umount commands work.
authorAndre Noll <maan@tuebingen.mpg.de>
Wed, 5 May 2021 16:41:40 +0000 (18:41 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Wed, 5 May 2021 16:41:40 +0000 (18:41 +0200)
commit885fca3fc29afa2f0b90c1fadc5a342a8ae38a27
tree13505c497aa60b89279df2c852a473113cbddb97tree | snapshot
parent58050141beaa9a46b2d399a074689b0b78525458commit | diff
shutdown_console(): Make umount commands work.

Oops. we unmounted /dev/tty1 several times rather than looping
over all ttys.
micoforia.c diff | blob | history
micoforia - Minimal Containers for Instant Availability