X-Git-Url: http://git.polytechnique.org/?a=blobdiff_plain;f=include%2Fwiki.inc.php;h=e37451581e08688ed2ed5b8076ae7c2d9ae8cd92;hb=84868ee91abd0f01c9ca7811e37c346ae79972ed;hp=de810be0acf180a0181abab828f147c80589e40e;hpb=9162f4ed1e2f9567805f6465511d69460c83d766;p=platal.git diff --git a/include/wiki.inc.php b/include/wiki.inc.php index de810be..e374515 100644 --- a/include/wiki.inc.php +++ b/include/wiki.inc.php @@ -122,10 +122,7 @@ function wiki_apply_feed_perms($perm) require_once 'rss.inc.php'; $uid = init_rss(null, Env::v('user'), Env::v('hash')); - if (!$uid) { - exit; - } - $res = XDB::query('SELECT user_id, IF (nom_usage <> \'\', nom_usage, nom) AS nom, prenom, perms + $res = XDB::query('SELECT user_id AS uid, IF (nom_usage <> \'\', nom_usage, nom) AS nom, prenom, perms FROM auth_user_md5 WHERE user_id = {?}', $uid); if (!$res->numRows()) { @@ -133,7 +130,9 @@ function wiki_apply_feed_perms($perm) } $table = $res->fetchOneAssoc(); $_SESSION = array_merge($_SESSION, $table, array('forlife' => Env::v('user'))); - if ($perm == 'logged' || S::has_perms()) { + require_once 'xorg/session.inc.php'; + $_SESSION['perms'] =& XorgSession::make_perms($_SESSION['perms']); + if ($perm == 'logged' || $_SESSION['perms']->hasFlag('admin')) { return; } exit; @@ -170,8 +169,10 @@ function wiki_require_page($pagename) global $globals; $pagename_slashes = str_replace('.','/',$pagename); $pagename_dots = str_replace('/','.',$pagename); - if (is_file(wiki_work_dir().'/cache_'.$pagename_dots.'.tpl')) return; - system('wget '.$globals->baseurl.'/'.$pagename_slashes.' -O /dev/null'); + if (is_file(wiki_work_dir().'/cache_'.$pagename_dots.'.tpl')) { + return; + } + system('wget --no-check-certificate '. escapeshellarg($globals->baseurl.'/'.$pagename_slashes) . ' -O /dev/null'); } function wiki_delete_page($pagename) @@ -181,7 +182,7 @@ function wiki_delete_page($pagename) return false; } $file = wiki_work_dir().'/'.wiki_filename($pagename_dots); - $cachefile = wiki_work_dir().'/cache_'.$pagename_dots.'.tpl'; + $cachefile = wiki_work_dir().'/cache_'.$pagename_dots.'.tpl'; if (is_file($cachefile)) { unlink($cachefile); } @@ -228,7 +229,7 @@ function wiki_rename_page($pagename, $newname, $changeLinks = true) } $groupname = substr($pagename_dots, 0, strpos($pagename_dots,'.')); $newgroupname = substr($newname_dots, 0, strpos($pagename_dots,'.')); - + $file = wiki_work_dir().'/'.wiki_filename($pagename_dots); $newfile = wiki_work_dir().'/'.wiki_filename($newname_dots); if (!is_file($file)) {