Constant SERVER_RESTART_PROPERTY_NAME 

pub const SERVER_RESTART_PROPERTY_NAME: &[u8; 8] = b"RESTART\0";