@ECHO OFF
CALL serv.bat brokk-server.exe Brokk-Server %*