Index: mojo/edk/system/data_pipe.h |
diff --git a/mojo/edk/system/data_pipe.h b/mojo/edk/system/data_pipe.h |
index 0d776687e8e11c91f419225e9379e0c2471f49bb..866ad9d89bd8dbc0c35505d606af8c3d2c1e8990 100644 |
--- a/mojo/edk/system/data_pipe.h |
+++ b/mojo/edk/system/data_pipe.h |
@@ -8,8 +8,9 @@ |
#include <stdint.h> |
#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/handle_signals_state.h" |
#include "mojo/edk/system/memory.h" |
@@ -119,10 +120,11 @@ class DataPipe final : public ChannelEndpointClient { |
void ProducerStartSerialize(Channel* channel, |
size_t* max_size, |
size_t* max_platform_handles); |
- bool ProducerEndSerialize(Channel* channel, |
- void* destination, |
- size_t* actual_size, |
- embedder::PlatformHandleVector* platform_handles); |
+ bool ProducerEndSerialize( |
+ Channel* channel, |
+ void* destination, |
+ size_t* actual_size, |
+ std::vector<embedder::ScopedPlatformHandle>* platform_handles); |
bool ProducerIsBusy() const; |
// These are called by the consumer dispatcher to implement its methods of |
@@ -151,10 +153,11 @@ class DataPipe final : public ChannelEndpointClient { |
void ConsumerStartSerialize(Channel* channel, |
size_t* max_size, |
size_t* max_platform_handles); |
- bool ConsumerEndSerialize(Channel* channel, |
- void* destination, |
- size_t* actual_size, |
- embedder::PlatformHandleVector* platform_handles); |
+ bool ConsumerEndSerialize( |
+ Channel* channel, |
+ void* destination, |
+ size_t* actual_size, |
+ std::vector<embedder::ScopedPlatformHandle>* platform_handles); |
bool ConsumerIsBusy() const; |
// The following are only to be used by |DataPipeImpl| (and its subclasses): |