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
tree13505c497aa60b89279df2c852a473113cbddb97
parent58050141beaa9a46b2d399a074689b0b78525458
shutdown_console(): Make umount commands work.

Oops. we unmounted /dev/tty1 several times rather than looping
over all ttys.
micoforia.c