Index: mojo/edk/system/local_data_pipe_impl.h |
diff --git a/mojo/edk/system/local_data_pipe_impl.h b/mojo/edk/system/local_data_pipe_impl.h |
index aa1459084fd6065bf041f27fbabd053346aa02af..b4f513e503ed0967605d0a9329f3bd9b4d578bd4 100644 |
--- a/mojo/edk/system/local_data_pipe_impl.h |
+++ b/mojo/edk/system/local_data_pipe_impl.h |
@@ -43,7 +43,7 @@ class LocalDataPipeImpl 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, |
@@ -66,7 +66,7 @@ class LocalDataPipeImpl 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; |