| 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());
|
|
|