Added debugging print statements. There might be an issue with restarting servers?