]> git-server-git.apps.pok.os.sepia.ceph.com Git - teuthology.git/commitdiff
Merge pull request #2125 from ceph/kill-supervisor
authorDavid Galloway <djgalloway@users.noreply.github.com>
Fri, 9 Jan 2026 21:06:45 +0000 (16:06 -0500)
committerGitHub <noreply@github.com>
Fri, 9 Jan 2026 21:06:45 +0000 (16:06 -0500)
kill: Look for, and kill, the supervisor process


Trivial merge