Can someone tell hw to restart the servers?