diff options
author | Robin Gareus <robin@gareus.org> | 2015-03-17 17:01:50 +0100 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2015-03-17 17:01:50 +0100 |
commit | f39d4506403a497d72627bc8dc38eb488bdbe60f (patch) | |
tree | 13a1a727d099637d69bda5e236b2270fe9adc9c7 /gtk2_ardour/editor_mouse.cc | |
parent | abfdcb5439c1bc51b35dc2abd389e8c622878cd0 (diff) |
fix very unlikely null pointer dereference.
Diffstat (limited to 'gtk2_ardour/editor_mouse.cc')
-rw-r--r-- | gtk2_ardour/editor_mouse.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gtk2_ardour/editor_mouse.cc b/gtk2_ardour/editor_mouse.cc index 392901b74c..2c3e1744a2 100644 --- a/gtk2_ardour/editor_mouse.cc +++ b/gtk2_ardour/editor_mouse.cc @@ -1496,7 +1496,7 @@ Editor::button_release_handler (ArdourCanvas::Item* item, GdkEvent* event, ItemT default: break; } - } else { + } else if (_session) { /* make sure we stop */ _session->request_transport_speed (0.0); } |