Index: Source/modules/webmidi/MIDIAccessInitializer.h |
diff --git a/Source/modules/webmidi/MIDIAccessInitializer.h b/Source/modules/webmidi/MIDIAccessInitializer.h |
index 5a90e540de61cfcc0a815e022d1c72e5946562d2..b27ab27de431f8eb99357277d5624a9082c7b4b3 100644 |
--- a/Source/modules/webmidi/MIDIAccessInitializer.h |
+++ b/Source/modules/webmidi/MIDIAccessInitializer.h |
@@ -66,9 +66,12 @@ private: |
ScriptPromise start(); |
void dispose(); |
+ virtual void contextDestroyed() override; |
+ |
OwnPtr<MIDIAccessor> m_accessor; |
Vector<PortDescriptor> m_portDescriptors; |
bool m_requestSysex; |
+ bool m_hasBeenDisposed; |
}; |
} // namespace blink |