Synopsis: gdb "kill" command does not free sockets State-Changed-From-To: analyzed->closed State-Changed-By: gson%NetBSD.org@localhost State-Changed-When: Thu, 14 Apr 2016 14:46:26 +0000 State-Changed-Why: Problem no longer occurs.