Enhancement: Differentiate between an external "stop" request and an
internal "shutdown" call