document stop/restart server