| 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
|
|
|