Use `ProcessHandle.destroy` to implement `RealJenkinsRule.stopJenkins`#544

Merged

jglick merged 1 commit intojenkinsci:masterfrom jglick:destroy

Jan 18, 2023

+2-12

Commits on Jan 17, 2023

Use ProcessHandle.destroy to implement RealJenkinsRule.stopJenkins
jglick
committed