Index: mojo/edk/system/message_pipe.h |
diff --git a/mojo/edk/system/message_pipe.h b/mojo/edk/system/message_pipe.h |
index 99b120086177ebc597b805549fa8f32d2b27dec3..4e82e0360903307fc6aed0a6bbda415a618d3b00 100644 |
--- a/mojo/edk/system/message_pipe.h |
+++ b/mojo/edk/system/message_pipe.h |
@@ -11,7 +11,7 @@ |
#include <memory> |
#include <vector> |
-#include "mojo/edk/embedder/platform_handle_vector.h" |
+#include "mojo/edk/embedder/scoped_platform_handle.h" |
#include "mojo/edk/system/channel_endpoint_client.h" |
#include "mojo/edk/system/dispatcher.h" |
#include "mojo/edk/system/handle_signals_state.h" |
@@ -109,11 +109,12 @@ class MessagePipe final : public ChannelEndpointClient { |
Channel* channel, |
size_t* max_size, |
size_t* max_platform_handles); |
- bool EndSerialize(unsigned port, |
- Channel* channel, |
- void* destination, |
- size_t* actual_size, |
- embedder::PlatformHandleVector* platform_handles); |
+ bool EndSerialize( |
+ unsigned port, |
+ Channel* channel, |
+ void* destination, |
+ size_t* actual_size, |
+ std::vector<embedder::ScopedPlatformHandle>* platform_handles); |
// |ChannelEndpointClient| methods: |
bool OnReadMessage(unsigned port, MessageInTransit* message) override; |