Esempi in PHP per Portal::getUid

Esempio n. 1

File: ma_client.php Progetto: ahelsing/geni-portal

function get_portal_uid()
{
    $cache = get_session_cached('portal_uid');
    if (array_key_exists('id', $cache)) {
        //    error_log("Got portal UID from cache");
        return $cache['id'];
    } else {
        $cache['id'] = Portal::getUid();
        set_session_cached('portal_uid', $cache);
        return $cache['id'];
    }
}