only restart php when neccessary