示例#1
0
function get_loader_platforms()
{
    if (!isset($_SESSION['loader_platform_info'])) {
        $serialised_res = '';
        $fp = @fopen(LOADER_PLATFORM_URL, 'r');
        if ($fp !== false) {
            $serialised_res = fgets($fp);
        }
        if (empty($serialised_res)) {
            $serialised_res = serialize(default_platform_list());
        }
        $_SESSION['loader_platform_info'] = $serialised_res;
    }
    return unserialize($_SESSION['loader_platform_info']);
}
示例#2
0
function get_loader_platforms()
{
    if (!isset($_SESSION['loader_platform_info'])) {
        $serialised_res = '';
        $serialised_res = remote_file_contents(LOADER_PLATFORM_URL);
        if (empty($serialised_res)) {
            $serialised_res = serialize(default_platform_list());
        }
        $_SESSION['loader_platform_info'] = $serialised_res;
    }
    return unserialize($_SESSION['loader_platform_info']);
}