fix against bug #578404 by Loic

This commit is contained in:
Mike Beck
2002-07-23 15:54:40 +00:00
parent 8916e46f69
commit 7c886392ca

View File

@@ -1121,7 +1121,10 @@ h1 {font-family: sans-serif; font-size: large; font-weight: bold}
?>
<script type="text/javascript" language="javascript1.2">
<!--
window.parent.frames['nav'].location.replace('<?php echo $reload_url; ?>');
if (typeof(window.parent) != 'undefined'
&& typeof(window.parent.frames['nav']) != 'undefined') {
window.parent.frames['nav'].location.replace('<?php echo $reload_url; ?>');
}
//-->
</script>
<?php