/// Definition of shutdown servant
pub mod shutdown;