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