Index: LayoutTests/media/audio-delete-while-slider-thumb-clicked.html |
diff --git a/LayoutTests/media/audio-delete-while-slider-thumb-clicked.html b/LayoutTests/media/audio-delete-while-slider-thumb-clicked.html |
index 052dadf5fb3193809f73e0e96ab667f229e23143..322075fc4d413ae0205be3b694b98d6ef73625d5 100644 |
--- a/LayoutTests/media/audio-delete-while-slider-thumb-clicked.html |
+++ b/LayoutTests/media/audio-delete-while-slider-thumb-clicked.html |
@@ -15,9 +15,21 @@ |
var console = document.getElementById('console'); |
console.innerHTML = console.innerHTML + msg + "<br>"; |
} |
- |
+ |
+ function forceGC() |
+ { |
+ if (window.GCController) |
+ return GCController.collect(); |
+ |
+ // Force garbage collection |
+ for (var ndx = 0; ndx < 99000; ndx++) |
+ var str = new String("1234"); |
+ } |
+ |
function buttonClick() |
{ |
+ forceGC(); |
+ |
if (document.getElementById('audio')) |
log("<br>FAIL: audio element not deleted!!"); |
@@ -31,7 +43,7 @@ |
testRunner.notifyDone(); |
} |
- |
+ |
function deleteAudio() |
{ |
var audio = document.getElementById('audio'); |
@@ -43,7 +55,7 @@ |
setTimeout(buttonClick, 10); |
} |
- |
+ |
function drag() |
{ |
if (!window.testRunner) |