1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/dom/base/crashtests/499006-2.html Wed Dec 31 06:09:35 2014 +0100 1.3 @@ -0,0 +1,35 @@ 1.4 +<html> 1.5 +<head> 1.6 +<script> 1.7 +function extractc(j) { 1.8 +var sel = window.getSelection(); 1.9 + 1.10 + 1.11 +var b=document.getElementById('b'); 1.12 + 1.13 +var range =document.createRange(); 1.14 +range.setStart(document.documentElement, 0); 1.15 +range.setEnd(document.documentElement, 0); 1.16 +sel.addRange(range); 1.17 +range.extractContents(); 1.18 + 1.19 +range.setStart(b, 0); 1.20 +range.setEnd(b, 0); 1.21 +sel.addRange(range); 1.22 +range.extractContents(); 1.23 + 1.24 + 1.25 +range.setStart(b, 0); 1.26 +range.setEnd(b, 0); 1.27 +sel.addRange(range); 1.28 +range.extractContents(); 1.29 + 1.30 + 1.31 +} 1.32 +setTimeout(extractc,200,0); 1.33 +</script> 1.34 +<title id="b"></title> 1.35 +</head> 1.36 +<body> 1.37 +</body> 1.38 +</html> 1.39 \ No newline at end of file