| Index: mojo/edk/system/data_pipe_consumer_dispatcher.h
|
| diff --git a/mojo/edk/system/data_pipe_consumer_dispatcher.h b/mojo/edk/system/data_pipe_consumer_dispatcher.h
|
| index 9f2389df00bde51fd4af6c045504f7a8f7a6ffd6..f650c7bdb413b0e6598fc3ac90504a4f0799687b 100644
|
| --- a/mojo/edk/system/data_pipe_consumer_dispatcher.h
|
| +++ b/mojo/edk/system/data_pipe_consumer_dispatcher.h
|
| @@ -69,7 +69,7 @@ class DataPipeConsumerDispatcher 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;
|
| bool IsBusyNoLock() const override;
|
|
|
|
|