MineCase/run_server.bat

@echo off

echo building MineCase...
pushd src
dotnet restore
dotnet build -c debug
popd

echo start MineCase.Server...
pushd src\MineCase.Server
start dotnet run
echo run "run_gateway.bat" when server is ready.
popd