| Index: media/midi/midi_manager.cc
|
| diff --git a/media/midi/midi_manager.cc b/media/midi/midi_manager.cc
|
| index 12d4d0764524a5bd845e1146c942f1ec3a21cf1f..fcbaa55a03b027b4a86809336909f18ddf0d7590 100644
|
| --- a/media/midi/midi_manager.cc
|
| +++ b/media/midi/midi_manager.cc
|
| @@ -60,7 +60,8 @@ MidiManager::MidiManager()
|
| MidiManager::~MidiManager() {
|
| // Make sure that Finalize() is called to clean up resources allocated on
|
| // the Chrome_IOThread.
|
| - DCHECK(finalized_);
|
| + base::AutoLock auto_lock(lock_);
|
| + CHECK(finalized_);
|
| }
|
|
|
| #if !defined(OS_MACOSX) && !defined(OS_WIN) && \
|
|
|