1){
$select_server_html .= '';
} else {
$server = reset($servers);
if( $server['host'] )
$select_server_html .= '' .
'' . $server['name'] . '';
}
$children = get_container_contents( $server_id, $dn );
include './header.php';
// Draw some javaScrpt to enable/disable the filter field if this may be a recursive copy
if( is_array( $children ) && count( $children ) > 0 ) { ?>
: :
:
