Exit worker nodes on Ctrl+C / Restart Manager shutdown (#12776)#13429

sachinsharma3191 wants to merge 2 commits intodotnet:maindotnet/msbuild:mainfrom

sachinsharma3191:dev/12776-restart-manager-node-shutdownsachinsharma3191/msbuild:dev/12776-restart-manager-node-shutdownCopy head branch name to clipboard