| Index: tools/page_cycler/common/head.js
|
| diff --git a/tools/page_cycler/common/head.js b/tools/page_cycler/common/head.js
|
| index f12fb24c7ccc2664f63e8b519a7fac8b6c6d0915..dddaa7ee0ac2454a0336334e0fdbc8a056ef986d 100644
|
| --- a/tools/page_cycler/common/head.js
|
| +++ b/tools/page_cycler/common/head.js
|
| @@ -26,13 +26,11 @@ function __pages() { // fetch lazily
|
| return this.data;
|
| }
|
| function __get_timings() {
|
| - if (sessionStorage == null)
|
| + if (sessionStorage != null &&
|
| + sessionStorage.getItem("__pc_timings") != null) {
|
| + return sessionStorage["__pc_timings"];
|
| + } else {
|
| return __get_cookie("__pc_timings");
|
| - else {
|
| - if (sessionStorage.getItem("__pc_timings") == null)
|
| - return "";
|
| - else
|
| - return sessionStorage["__pc_timings"];
|
| }
|
| }
|
| function __set_timings(timings) {
|
|
|