Index: ppapi/cpp/dev/video_decoder_dev.h |
diff --git a/ppapi/cpp/dev/video_decoder_dev.h b/ppapi/cpp/dev/video_decoder_dev.h |
index 03ddc59d1cb895a1c84ebce023473d0833f666ae..3d6f2b9e69a04beec008460c69b4a0f889c0e857 100644 |
--- a/ppapi/cpp/dev/video_decoder_dev.h |
+++ b/ppapi/cpp/dev/video_decoder_dev.h |
@@ -42,7 +42,10 @@ class VideoDecoder_Dev : public Resource { |
void ReusePictureBuffer(int32_t picture_buffer_id); |
int32_t Flush(CompletionCallback callback); |
int32_t Reset(CompletionCallback callback); |
- int32_t Destroy(CompletionCallback callback); |
+ |
+ private: |
+ // Disallow copy-construction to ensure Destroy() is called exactly once. |
+ VideoDecoder_Dev(const VideoDecoder_Dev&); |
}; |
} // namespace pp |