Modified PR for reverse diagnostics server#35850

Merged

josalem merged 2 commits intodotnet:masterfrom josalem:dev/josalem/issue-35451-reverse-diagnostics-server

May 8, 2020

+1,612-100

Commits on May 7, 2020

Revert "Revert "Add Reverse Diagnostics Server (dotnet#33307 )" (dotnet#35767 )"
John Salem
committed
Minimize cleanup on shutdown path
John Salem
committed