要約すると、答えはこれだけを含む php スクリプトです。
<?php
header("Content-Type: text/plain");
print time();
?>
サーバーから時間を取得するために使用するスクリプトは次のとおりです。
//cut from a larger script
{
loader = new URLLoader();
loader.load(new URLRequest("http://grambogames.net/serverTime.php"));
loader.addEventListener(Event.COMPLETE, onServerTimeLoad);
trace("waiting for time to load");
}
private function onServerTimeLoad(e:Event):void
{
trace("date loaded:", loader.data);
try
{
var num:Number = Number(loader.data) * 1000
dato = new Date(num);
trace("tid & dato synkronisert med server.", dato);
}
catch (e:Error)
{
//the passed date was invalid, lets just use the local system date
dato = new Date();
trace("date did not work, local time used");
txt_error.text = "ERROR! COULD NOT GET TIME FROM SERVER!"
}
if (! dato)
{
//your output from the server isn't formatted in a way flash can convert it
trace("not working, date farmated wrong");
}
}
LondonDrugs_MediaServices に感謝
...これ以上バグが発生しないことを願っています。