Esempio n. 1
0
<?php 
if (function_exists('serve_time')) {
    echo '<!-- Page served in ', serve_time(), " seconds -->\n";
}
?>
</body>
</html>
Esempio n. 2
0
function get_cached_page($length = 0)
{
    if (CACHE_PAGE && empty($_POST)) {
        if (intval($length) <= 0) {
            $length = CACHE_LENGTH;
        }
        $file = ROOT . 'cache/pages/' . md5(cache_url()) . '.php';
        if (file_exists($file) && TIME - filemtime($file) <= $length) {
            $data = unserialize(file_get_contents($file));
            $content = $data['content'];
            $content .= "\n<!-- From Cache: " . serve_time() . " seconds -->";
            if ($data['Content-Type'] != '') {
                header('Content-Type: ' . $data['Content-Type']);
            }
            #	header('HTTP/1.1 304 Not Modified');
            header('Last-Modified: ' . gmdate('D, d M Y H:i:s', filemtime($file)) . ' GMT');
            header('Content-Length: ' . strlen($content));
            echo $content;
            exit;
        }
    }
    return false;
}