| Index: tools/page_cycler/common/head.js
|
| diff --git a/tools/page_cycler/common/head.js b/tools/page_cycler/common/head.js
|
| index 19a38dce0121eb93bfb7d17bf5242e29581499b3..0af03ce7fd41e2ba886a172b1e15a7f1028062b8 100644
|
| --- a/tools/page_cycler/common/head.js
|
| +++ b/tools/page_cycler/common/head.js
|
| @@ -1,4 +1,4 @@
|
| -// Copyright (c) 2010 The Chromium Authors. All rights reserved.
|
| +// Copyright (c) 2011 The Chromium Authors. All rights reserved.
|
| // Use of this source code is governed by a BSD-style license that can be
|
| // found in the LICENSE file.
|
|
|
| @@ -74,8 +74,11 @@ function __ontimeout() {
|
| document.location.href = url;
|
| }
|
| function __onload() {
|
| - if (__results)
|
| + if (__results) {
|
| + // Set a variable to indicate that the result report page is loaded.
|
| + document.cookie = " __navigated_to_report=1; path=/";
|
| return;
|
| + }
|
| var unused = document.body.offsetHeight; // force layout
|
|
|
| var ts = 0, td = 0, te = (new Date()).getTime(), tf = 0;
|
|
|