application/Cache.php


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46

<?php
/**
 * Cache utilities
 */

/**
 * Purges all cached pages
 *
 * @param string $pageCacheDir page cache directory
 */
function purgeCachedPages($pageCacheDir)
{
    if (! is_dir($pageCacheDir)) {
        return;
    }

    // TODO: check write access to the cache directory

    $handler = opendir($pageCacheDir);
    if ($handler == false) {
        return;
    }

    while (($filename = readdir($handler)) !== false) {
        if (endsWith($filename, '.cache')) {
                unlink($pageCacheDir.'/'.$filename);
        }
    }
    closedir($handler);
}

/**
 * Invalidates caches when the database is changed or the user logs out.
 *
 * @param string $pageCacheDir page cache directory
 */
function invalidateCaches($pageCacheDir)
{
    // Purge cache attached to session.
    if (isset($_SESSION['tags'])) {
        unset($_SESSION['tags']);
    }

    // Purge page cache shared by sessions.
    purgeCachedPages($pageCacheDir);
}