[batch-file] How to ping a server only once from within a batch file?