From 063058741bc37974e06b7d7db6fc74ce620bf649 Mon Sep 17 00:00:00 2001 From: Herman van Rink Date: Wed, 3 Feb 2010 14:26:37 +0000 Subject: [PATCH] Prevent js error in some cases after session expiration --- js/common.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/js/common.js b/js/common.js index e1de64a54..1d52c9770 100644 --- a/js/common.js +++ b/js/common.js @@ -437,7 +437,7 @@ function openDb(new_db) { function updateTableTitle( table_link_id, new_title ) { //alert('updateTableTitle'); - if ( window.parent.frame_navigation.document.getElementById(table_link_id) ) { + if ( window.parent.frame_navigation.document && window.parent.frame_navigation.document.getElementById(table_link_id) ) { var left = window.parent.frame_navigation.document; var link = left.getElementById(table_link_id);