From 9be0530e14623ebd263ac70eaa8b0225e951c49a Mon Sep 17 00:00:00 2001 From: Thierry Parmentelat Date: Sun, 20 Dec 2009 13:15:15 +0000 Subject: [PATCH] deprecated --- PlanetLabConf/ntptickers.php | 53 ------------------------------------ 1 file changed, 53 deletions(-) delete mode 100755 PlanetLabConf/ntptickers.php diff --git a/PlanetLabConf/ntptickers.php b/PlanetLabConf/ntptickers.php deleted file mode 100755 index 263fecb..0000000 --- a/PlanetLabConf/ntptickers.php +++ /dev/null @@ -1,53 +0,0 @@ - 0) { - $file_name = $config_directory . $file_prefix . $compare_chunk ; - if (is_file($file_name)) { - $chunk_counter = 0; - $found_file = 1; - } - else { - array_shift($hostname_bits); - $compare_chunk = implode('.',$hostname_bits); - $chunk_counter--; - } -} - -if ($found_file and is_readable($file_name)) { - $lines=file($file_name); -} -else { - $file_name = $config_directory . $file_prefix . $default_name ; - $lines=file($file_name); -} - -foreach ($lines as $line_num => $line) { - $line=rtrim($line); - $elements=explode(' ',$line); - if ($elements[0] == "server") { - print ("$elements[1]\n"); - } -} - -?> - -- 2.43.0