| 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) { | 
|  |