From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 10 Nov 2008 00:19:48 +0000 (-0800)
Subject: Get rid of power_off_when_done global variable.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=94618414d6e0e051cf95e900c63ed2835ed16a82;hp=94618414d6e0e051cf95e900c63ed2835ed16a82;p=pintos-anon

Get rid of power_off_when_done global variable.

This global variable was not named according to the convention that a
global variable name start with its module name.  Furthermore, its usage
was somewhat scattered across the source tree.

This commit introduces new functions shutdown() and shutdown_configure()
to improve the situation.
---