| Index: mojo/edk/system/message_pipe_dispatcher.h
|
| diff --git a/mojo/edk/system/message_pipe_dispatcher.h b/mojo/edk/system/message_pipe_dispatcher.h
|
| index da6464928f8442db32cbe5ad7235dfa1defe8154..a26fdf044591aebe42037db021f3871db4359e12 100644
|
| --- a/mojo/edk/system/message_pipe_dispatcher.h
|
| +++ b/mojo/edk/system/message_pipe_dispatcher.h
|
| @@ -106,7 +106,7 @@ class MessagePipeDispatcher final : public Dispatcher {
|
| Channel* channel,
|
| void* destination,
|
| size_t* actual_size,
|
| - embedder::PlatformHandleVector* platform_handles) override
|
| + std::vector<embedder::ScopedPlatformHandle>* platform_handles) override
|
| MOJO_NOT_THREAD_SAFE;
|
|
|
| // This will be null if closed.
|
|
|