Rename do_power_off to power_off_when_done.
authorBen Pfaff <blp@cs.stanford.edu>
Thu, 9 Dec 2004 19:50:39 +0000 (19:50 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Thu, 9 Dec 2004 19:50:39 +0000 (19:50 +0000)
commit5f1b986185717577aac1922544cb3a7b1a56b632
tree605cd58b4071c945d49dec145c38ed7418260f54
parentf6ed960fb20e2dc6607e6adf11461bf13fce5834
Rename do_power_off to power_off_when_done.
Only power off on kernel panic if power_off_when_done set.
src/lib/debug.c
src/threads/init.c
src/threads/init.h