made easier to comment out servers (for debugging)