tool to gracefully restart app servers without affecting users