| Index: third_party/WebKit/Source/modules/webmidi/MIDIPort.cpp
|
| diff --git a/third_party/WebKit/Source/modules/webmidi/MIDIPort.cpp b/third_party/WebKit/Source/modules/webmidi/MIDIPort.cpp
|
| index dda903f1e260e543245ff871e28eef2fb48dc8da..cab6504fb71717a72333aa997bc678375e5388e8 100644
|
| --- a/third_party/WebKit/Source/modules/webmidi/MIDIPort.cpp
|
| +++ b/third_party/WebKit/Source/modules/webmidi/MIDIPort.cpp
|
| @@ -155,7 +155,7 @@ bool MIDIPort::hasPendingActivity() const {
|
| return m_connection != ConnectionStateClosed;
|
| }
|
|
|
| -void MIDIPort::contextDestroyed() {
|
| +void MIDIPort::contextDestroyed(ExecutionContext*) {
|
| // Should be "closed" to assume there are no pending activities.
|
| m_connection = ConnectionStateClosed;
|
| }
|
|
|