diff options
author | Robin Gareus <robin@gareus.org> | 2017-07-28 20:11:55 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2017-07-28 20:11:55 +0200 |
commit | 964b88e651ac3324d85f735aad3faba226b582f6 (patch) | |
tree | 34dd26bf1cdde30238ed586c645db16336c86aeb /libs/ardour/session.cc | |
parent | 7b7cc9ea6d9880905ab55aeb57f603e8a5024d9f (diff) |
Delete CoreSelection at session close
Diffstat (limited to 'libs/ardour/session.cc')
-rw-r--r-- | libs/ardour/session.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/libs/ardour/session.cc b/libs/ardour/session.cc index 04c8770a78..0616c364d9 100644 --- a/libs/ardour/session.cc +++ b/libs/ardour/session.cc @@ -836,6 +836,10 @@ Session::destroy () AudioEngine::instance()->clear_pending_port_deletions (); } + DEBUG_TRACE (DEBUG::Destruction, "delete selection\n"); + delete _selection; + _selection = 0; + DEBUG_TRACE (DEBUG::Destruction, "Session::destroy() done\n"); BOOST_SHOW_POINTERS (); |