From df15dfd61bb97748e2fdcca4df415256bfef552b Mon Sep 17 00:00:00 2001 From: Artidoro Pagnoni Date: Thu, 25 Oct 2018 18:30:54 -0700 Subject: [PATCH 1/2] testing dotnet build-server shutdown --- run.cmd | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/run.cmd b/run.cmd index 616c7cc018..4e4311f19d 100644 --- a/run.cmd +++ b/run.cmd @@ -22,7 +22,11 @@ set _json=%~dp0config.json :: a relative path to the binclash logger pushd "%~dp0" +:: start building call "%_dotnet%" "%_toolRuntime%\run.exe" "%_json%" %* + +:: shutdown all dotnet build processes +call "%_dotnet%" "build-server" "shutdown" popd exit /b %ERRORLEVEL% \ No newline at end of file From 8dd2e85453aa4f0d9a678dff447d9973c3eb8e3c Mon Sep 17 00:00:00 2001 From: Artidoro Pagnoni Date: Thu, 25 Oct 2018 19:19:51 -0700 Subject: [PATCH 2/2] revert run.sh changes and correct comment --- run.cmd | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/run.cmd b/run.cmd index 4e4311f19d..d4e8ec8121 100644 --- a/run.cmd +++ b/run.cmd @@ -22,10 +22,9 @@ set _json=%~dp0config.json :: a relative path to the binclash logger pushd "%~dp0" -:: start building call "%_dotnet%" "%_toolRuntime%\run.exe" "%_json%" %* -:: shutdown all dotnet build processes +:: Terminate all dotnet build processes. call "%_dotnet%" "build-server" "shutdown" popd