function handleGetResourceRequestsLog() { $resourceLogFile = sys_get_temp_dir() . "/resource-log"; generateNoCacheHTTPHeader(); header("Content-Type: text/plain"); print file_get_contents($resourceLogFile); }
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; } }