colinf's 2011-12-08 patch for freesound mootcher (add stop, remove URI, clear barberp...

[ardour.git] / libs / midi++2 / manager.cc

diff --git a/libs/midi++2/manager.cc b/libs/midi++2/manager.cc
index 03e418e4b24f48fbd3d77b9375d1c7c909b16ca7..61d4c4c363ba31ac25c5f9fa8198af6058eb9ad4 100644 (file)
--- a/libs/midi++2/manager.cc
+++ b/libs/midi++2/manager.cc
@@ -167,3 +167,10 @@ Manager::set_port_states (list<XMLNode*> s)
                }
        }
 }
+
+void
+Manager::destroy ()
+{
+       delete theManager;
+       theManager = 0;
+}