$delete_time){ @rmdir ($dir_name); } } } ?>