nickjillings@1880: OK".$key_requested."";
nickjillings@1880: $xml_bad = "NO".$key_requested."";
nickjillings@1884: $xml_error = "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@1882: $doc_struct = new SimpleXMLElement('');
nickjillings@1882: $doc_struct->addAttribute("key",$key_requested);
nickjillings@1880: // Add start time
nickjillings@1880: // Add IP Address information
nickjillings@1882: // Save the file
nickjillings@1882: $doc_struct->asXML("saves/save-".$key_requested.".xml");
nickjillings@1880: return;
nickjillings@1880: } else {
nickjillings@1880: echo $xml_error;
nickjillings@1880: return;
nickjillings@1880: }
nickjillings@1880: ?>