Kill simple php servers too