diff options
| author | John Reck <jreck@google.com> | 2011-04-05 15:39:47 -0700 |
|---|---|---|
| committer | John Reck <jreck@google.com> | 2011-04-05 17:20:52 -0700 |
| commit | 61d841295b182b0d6c9eab04af1c55b9218eaefb (patch) | |
| tree | 4a310f38ddba9061b6c82352f8eb628c91297a9a /WebCore/platform/graphics/android/BackedDoubleBufferedTexture.h | |
| parent | a33d490302a04453e2c671114d30a4ee93cb08f1 (diff) | |
| download | external_webkit-61d841295b182b0d6c9eab04af1c55b9218eaefb.zip external_webkit-61d841295b182b0d6c9eab04af1c55b9218eaefb.tar.gz external_webkit-61d841295b182b0d6c9eab04af1c55b9218eaefb.tar.bz2 | |
Race condition fix
Bug: 4232693
Change-Id: I273671aea3dc379858f11546e6459fd9e1443d4f
Diffstat (limited to 'WebCore/platform/graphics/android/BackedDoubleBufferedTexture.h')
| -rw-r--r-- | WebCore/platform/graphics/android/BackedDoubleBufferedTexture.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/WebCore/platform/graphics/android/BackedDoubleBufferedTexture.h b/WebCore/platform/graphics/android/BackedDoubleBufferedTexture.h index f612114..8bfae59 100644 --- a/WebCore/platform/graphics/android/BackedDoubleBufferedTexture.h +++ b/WebCore/platform/graphics/android/BackedDoubleBufferedTexture.h @@ -90,6 +90,7 @@ public: // returns false if ownership cannot be transferred because the tile is busy bool acquire(TextureOwner* owner); bool release(TextureOwner* owner); + bool tryAcquire(TextureOwner* owner, TiledPage* currentPage, TiledPage* nextPage); // set the texture owner if not busy. Return false if busy, true otherwise. bool setOwner(TextureOwner* owner); |