Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
delete_reg: don't vacuum or checkpoint
This gets run every time a trace thread is destroyed, which can be once per target. (That could probably be more efficient, but nonetheless it can be expected to happen multiple times in one port(1) command.) Well-behaved API clients will call mportshutdown just before exiting, which will cause these things to happen once as intended. (cherry picked from commit 804340d)
- Loading branch information