| Index: tools/page_cycler/common/head.js
|
| diff --git a/tools/page_cycler/common/head.js b/tools/page_cycler/common/head.js
|
| index 39bb220130de01b0597d4d3171ca22a1a0f918b6..19a38dce0121eb93bfb7d17bf5242e29581499b3 100644
|
| --- a/tools/page_cycler/common/head.js
|
| +++ b/tools/page_cycler/common/head.js
|
| @@ -74,11 +74,8 @@ function __ontimeout() {
|
| document.location.href = url;
|
| }
|
| function __onload() {
|
| - if (__results) {
|
| - // Set a variable to indicate that the result report page is loaded.
|
| - document.cookie = " __navigated_to_report=1; path=/";
|
| + if (__results)
|
| return;
|
| - }
|
| var unused = document.body.offsetHeight; // force layout
|
|
|
| var ts = 0, td = 0, te = (new Date()).getTime(), tf = 0;
|
|
|