On Oct 21, 2010, at 3:41 PM, Ben Pfaff wrote: > On Thu, Oct 21, 2010 at 03:39:49PM -0700, Justin Pettit wrote: >> We log when we create a port, so let's log when we destroy one for >> parity. > > I take back the "looks good" part, this dereferences a freed pointer. D'oh! Thanks. I fixed it and pushed. --Justin