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