diff options
Diffstat (limited to 'libs/midi++2/manager.cc')
| -rw-r--r-- | libs/midi++2/manager.cc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/libs/midi++2/manager.cc b/libs/midi++2/manager.cc index 03e418e4b2..61d4c4c363 100644 --- 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; +} |