batch files for server timing