Document the use of "shutdown" attribute of <Server>