$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);