PHP generateNoCacheHTTPHeaderの例

コード例 #1

ファイル: network-simulator.php プロジェクト: dreamsxin/webkit_android4.0.4

function handleGetResourceRequestsLog()
{
    $resourceLogFile = sys_get_temp_dir() . "/resource-log";
    generateNoCacheHTTPHeader();
    header("Content-Type: text/plain");
    print file_get_contents($resourceLogFile);
}

コード例 #2

ファイル: network-simulator.php プロジェクト: appcelerator-archive/webkit_titanium_legacy

function handleGetResourceCountCommand($path)
{
    $resourceCountFile = sys_get_temp_dir() . "/resource-count";
    $resourceCount = getState($resourceCountFile);
    $pieces = explode(" ", $resourceCount);
    generateNoCacheHTTPHeader();
    header('HTTP/1.1 200 OK');
    if (count($pieces) == 2 && $pieces[0] == $path) {
        echo $pieces[1];
    } else {
        echo 0;
    }
}