diff --git a/run.cmd b/run.cmd index 616c7cc018..d4e8ec8121 100644 --- a/run.cmd +++ b/run.cmd @@ -23,6 +23,9 @@ set _json=%~dp0config.json pushd "%~dp0" call "%_dotnet%" "%_toolRuntime%\run.exe" "%_json%" %* + +:: Terminate all dotnet build processes. +call "%_dotnet%" "build-server" "shutdown" popd exit /b %ERRORLEVEL% \ No newline at end of file