Tag: batch scripts to check server connections