nicholas@815: Could not open file';
nicholas@815: echo $xml;
nicholas@815: return;
nicholas@815: }
nicholas@815: $wbytes = fwrite($fileHandle, $postText);
nicholas@815: if ($wbytes == FALSE)
nicholas@815: {
nicholas@815: // FileWrite failed
nicholas@815: $xml = 'Could not write file "saves/'.$xmlfile.'"';
nicholas@815: echo $xml;
nicholas@815: return;
nicholas@815: }
nicholas@815: fclose($fileHandle);
nicholas@815:
nicholas@815: // Return JSON confirmation data
nicholas@815: $xml = 'OK"saves/'.$xmlfile.'"';
nicholas@815: echo $xml;
nicholas@815:
nicholas@815: // Random String generator from http://stackoverflow.com/questions/4356289/php-random-string-generator
nicholas@815: function generateRandomString($length = 10) {
nicholas@815: $characters = '0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ';
nicholas@815: $charactersLength = strlen($characters);
nicholas@815: $randomString = '';
nicholas@815: for ($i = 0; $i < $length; $i++) {
nicholas@815: $randomString .= $characters[rand(0, $charactersLength - 1)];
nicholas@815: }
nicholas@815: return $randomString;
nicholas@815: }
nicholas@815: ?>