| Index: media/midi/midi_manager_android.h
|
| diff --git a/media/midi/midi_manager_android.h b/media/midi/midi_manager_android.h
|
| index 467afae5a2d1e153d584b6cecceb484d7a42ddf6..fa29a441dbbf6adde817b34b14fa4193869ef17c 100644
|
| --- a/media/midi/midi_manager_android.h
|
| +++ b/media/midi/midi_manager_android.h
|
| @@ -14,6 +14,7 @@
|
|
|
| #include "base/android/scoped_java_ref.h"
|
| #include "base/containers/hash_tables.h"
|
| +#include "base/memory/scoped_vector.h"
|
| #include "base/synchronization/lock.h"
|
| #include "base/time/time.h"
|
| #include "media/midi/midi_input_port_android.h"
|
| @@ -71,7 +72,7 @@
|
| void AddOutputPortAndroid(MidiOutputPortAndroid* port,
|
| MidiDeviceAndroid* device);
|
|
|
| - std::vector<std::unique_ptr<MidiDeviceAndroid>> devices_;
|
| + ScopedVector<MidiDeviceAndroid> devices_;
|
| // All ports held in |devices_|. Each device has ownership of ports, but we
|
| // can store pointers here because a device will keep its ports while it is
|
| // alive.
|
|
|