Index: mojo/edk/system/remote_producer_data_pipe_impl.h |
diff --git a/mojo/edk/system/remote_producer_data_pipe_impl.h b/mojo/edk/system/remote_producer_data_pipe_impl.h |
index 1210b73c0fe8f4fc538f72eb44b1074edde9ade8..0073814f1a3a2ffb470493e077fd10757cd05248 100644 |
--- a/mojo/edk/system/remote_producer_data_pipe_impl.h |
+++ b/mojo/edk/system/remote_producer_data_pipe_impl.h |
@@ -63,7 +63,7 @@ class RemoteProducerDataPipeImpl final : public DataPipeImpl { |
Channel* channel, |
void* destination, |
size_t* actual_size, |
- embedder::PlatformHandleVector* platform_handles) override; |
+ std::vector<embedder::ScopedPlatformHandle>* platform_handles) override; |
void ConsumerClose() override; |
MojoResult ConsumerReadData(UserPointer<void> elements, |
UserPointer<uint32_t> num_bytes, |
@@ -86,7 +86,7 @@ class RemoteProducerDataPipeImpl final : public DataPipeImpl { |
Channel* channel, |
void* destination, |
size_t* actual_size, |
- embedder::PlatformHandleVector* platform_handles) override; |
+ std::vector<embedder::ScopedPlatformHandle>* platform_handles) override; |
bool OnReadMessage(unsigned port, MessageInTransit* message) override; |
void OnDetachFromChannel(unsigned port) override; |