Delete .servinfo files for servers that are no longer running