[JENKINS-70414] Missing agent-side `Channel.close` from `PingThread.onDead`#7580

Merged

NotMyFault merged 1 commit intojenkinsci:masterfrom jglick:ChannelPinger-JENKINS-70414

Jan 16, 2023

Commits on Jan 11, 2023

[JENKINS-70414] Missing agent-side Channel.close from PingThread.onDead
jglick
committed