Example #1
0
        $admin = true;
    }
    $user = $_SESSION["user"];
    if ($admin) {
        $user->setAdmin(true);
    }
    $template->assign("user", $user);
}
if ($user == Null) {
    $user = new alienuser();
    $user->setId(-1);
    $user->setUsername("Public");
    $role = new role();
    $role->setId(-1);
    $role->setRole("Public");
    $user->addRoleToRam($role);
    $_SESSION["user"] = $user;
    $template->assign("user", $user);
}
$instancedPluginManager = new instancedPluginManager($user, $template, $connection);
$allowedPluginInstances = array();
$pluginInstance = Null;
$allowed = False;
$allowedAccess = "Null";
$fn = basename($_SERVER['PHP_SELF']);
foreach ($instancedPluginManager->getInstancedPlugins() as $pI) {
    foreach ($user->getRoles() as $uRole) {
        foreach ($pI->getUsedRoles() as $pRole) {
            if ($pRole->getId() == $uRole->getId()) {
                if (!in_array($pI, $allowedPluginInstances)) {
                    array_push($allowedPluginInstances, $pI);