// Server or administrator can run batch files by chatting "/batch <file>".
// This example is a template based on the last session run, and includes
// drivers who disconnected before the results were written.