]> Zhao Yanbai Git Server - minix.git/commit
Zhao YanBai
Repos / minix.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 969989b) | patch
write_log() after killing everyone. This improves the quality of
authorBen Gras <ben@minix3.org>
Mon, 3 Apr 2006 14:50:07 +0000 (14:50 +0000)
committerBen Gras <ben@minix3.org>
Mon, 3 Apr 2006 14:50:07 +0000 (14:50 +0000)
commitaaf30491f33c08dd008d62e80e55c789726221fc
tree3923ba5685f75001826d03e75527b33a267131a4tree | snapshot
parent969989b7e6a330fdc46567b0869e3e182b37d6b8commit | diff
write_log() after killing everyone. This improves the quality of
the reboot-check, as otherwise logout records can get written after
our reboot record.
commands/reboot/halt.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.