Thank you for asking – we do not launch the server with a batch file, we launch it directly using the server’s Java libraries, mimicking what the batch file would do. If you open the Server editor, you will see a link, “Open Launch configuration” which you can click that to see the arguments we use. Could you tell us what you are trying to achieve with your batch file?