Index: mojo/edk/system/platform_handle_dispatcher.h |
diff --git a/mojo/edk/system/platform_handle_dispatcher.h b/mojo/edk/system/platform_handle_dispatcher.h |
index d9b809ff0976ab6a49a063c5ec6dcd87260b625c..16ce34083e868fc550e42afb46957c59226a4ea6 100644 |
--- a/mojo/edk/system/platform_handle_dispatcher.h |
+++ b/mojo/edk/system/platform_handle_dispatcher.h |
@@ -34,7 +34,7 @@ class PlatformHandleDispatcher final : public SimpleDispatcher { |
Channel* channel, |
const void* source, |
size_t size, |
- embedder::PlatformHandleVector* platform_handles); |
+ std::vector<embedder::ScopedPlatformHandle>* platform_handles); |
private: |
explicit PlatformHandleDispatcher( |
@@ -53,7 +53,7 @@ class PlatformHandleDispatcher final : public SimpleDispatcher { |
Channel* channel, |
void* destination, |
size_t* actual_size, |
- embedder::PlatformHandleVector* platform_handles) override |
+ std::vector<embedder::ScopedPlatformHandle>* platform_handles) override |
MOJO_NOT_THREAD_SAFE; |
embedder::ScopedPlatformHandle platform_handle_ MOJO_GUARDED_BY(mutex()); |