nickjillings@1880: OK".$key_requested.""; nickjillings@1880: $xml_bad = "NO".$key_requested.""; nickjillings@1880: $xml_bad = "ERROR".$key_requested.""; nickjillings@1880: if (is_array($saves)) nickjillings@1880: { nickjillings@1880: foreach($saves as $filename) { nickjillings@1880: $xml_string = file_get_contents($filename, FILE_TEXT); nickjillings@1880: $xml_object = simplexml_load_string($xml_string); nickjillings@1880: if ($xml_object != false) { nickjillings@1880: if (isset($value['key'])) nickjillings@1880: { nickjillings@1880: if ($value['key'] == $key_requested) { nickjillings@1880: echo $xml_bad; nickjillings@1880: return; nickjillings@1880: } nickjillings@1880: } nickjillings@1880: } nickjillings@1880: } nickjillings@1880: echo $xml_good; nickjillings@1880: // TODO: nickjillings@1880: // Generate the XML Base file and save it nickjillings@1880: // Add start time nickjillings@1880: // Add IP Address information nickjillings@1880: return; nickjillings@1880: } else { nickjillings@1880: echo $xml_error; nickjillings@1880: return; nickjillings@1880: } nickjillings@1880: ?>