removed obsolete gettimeofday() calls
This commit is contained in:
parent
5d9786ac08
commit
d0819db243
|
@ -66,11 +66,5 @@ initialize_session_tree();
|
||||||
if( array_key_exists( $dn, $_SESSION['tree'] ) )
|
if( array_key_exists( $dn, $_SESSION['tree'] ) )
|
||||||
unset( $_SESSION['tree'][$dn] );
|
unset( $_SESSION['tree'][$dn] );
|
||||||
|
|
||||||
// This is for Opera. By putting "random junk" in the query string, it thinks
|
header( "Location:tree.php" );
|
||||||
// that it does not have a cached version of the page, and will thus
|
|
||||||
// fetch the page rather than display the cached version
|
|
||||||
$time = gettimeofday();
|
|
||||||
$random_junk = md5( strtotime( 'now' ) . $time['usec'] );
|
|
||||||
|
|
||||||
header( "Location:tree.php?foo=$random_junk#{$encoded_dn}" );
|
|
||||||
?>
|
?>
|
||||||
|
|
|
@ -94,11 +94,8 @@ echo "</head>\n";
|
||||||
<table class="tree_edit_dn_menu">
|
<table class="tree_edit_dn_menu">
|
||||||
|
|
||||||
<tr>
|
<tr>
|
||||||
<?php $time = gettimeofday(); $random_junk = md5( strtotime( 'now' ) . $time['usec'] ); ?>
|
|
||||||
<td class="icon"><img src="../../graphics/refresh.png" /></td>
|
<td class="icon"><img src="../../graphics/refresh.png" /></td>
|
||||||
<td><a href="edit.php?dn=<?php echo $encoded_dn; ?>&random=<?php
|
<td><a href="edit.php?dn=<?php echo $encoded_dn; ?>" title="<?php echo _('Refresh'); ?>"><?php echo _('Refresh'); ?></a></td>
|
||||||
echo $random_junk; ?>"
|
|
||||||
title="<?php echo _('Refresh'); ?>"><?php echo _('Refresh'); ?></a></td>
|
|
||||||
<?php if( $show_internal_attrs ) { ?>
|
<?php if( $show_internal_attrs ) { ?>
|
||||||
<td class="icon"><img src="../../graphics/tools-no.png" /></td>
|
<td class="icon"><img src="../../graphics/tools-no.png" /></td>
|
||||||
<td><a href="edit.php?dn=<?php echo $encoded_dn; ?>"><?php echo _('Hide internal attributes'); ?></a></td>
|
<td><a href="edit.php?dn=<?php echo $encoded_dn; ?>"><?php echo _('Hide internal attributes'); ?></a></td>
|
||||||
|
|
|
@ -79,11 +79,5 @@ foreach( $contents as $dn )
|
||||||
$_SESSION['tree'] = $tree;
|
$_SESSION['tree'] = $tree;
|
||||||
$_SESSION['tree_icons'] = $tree_icons;
|
$_SESSION['tree_icons'] = $tree_icons;
|
||||||
|
|
||||||
// This is for Opera. By putting "random junk" in the query string, it thinks
|
header( "Location:tree.php" );
|
||||||
// that it does not have a cached version of the page, and will thus
|
|
||||||
// fetch the page rather than display the cached version
|
|
||||||
$time = gettimeofday();
|
|
||||||
$random_junk = md5( strtotime( 'now' ) . $time['usec'] );
|
|
||||||
|
|
||||||
header( "Location:tree.php?foo=$random_junk#{$encoded_dn}" );
|
|
||||||
?>
|
?>
|
||||||
|
|
Loading…
Reference in New Issue