Move trace of cap delete from shutdownCapability to freeCapability
authorDuncan Coutts <duncan@well-typed.com>
Wed, 22 Feb 2012 01:41:29 +0000 (01:41 +0000)
committerDuncan Coutts <duncan@well-typed.com>
Wed, 4 Apr 2012 18:10:45 +0000 (19:10 +0100)
commite88f1625a234e5316e903f84ae4d3349fec4bf3d
treec14e04e4d7c22811f829a6097a98970d6b139db0
parenta3cdefd21b3e818accf9db22da72b216685c1b19
Move trace of cap delete from shutdownCapability to freeCapability

Will let us do final per-cap trace events from stat_exit().
Otherwise we would end up with eventlogs with events for caps
that have already been deleted.
rts/Capability.c