* @author Laurent Giovannoni */ include("session.php"); if (!isset($_SESSION['user']['UserId']) || empty($_SESSION['user']['UserId'])) { header("location: reopen.php"); } if (file_exists($_SESSION['config']['lang'].'.php')) { include($_SESSION['config']['lang'].'.php'); } else { $_SESSION['error'] = "Language file missing...
"; } if (isset($_GET['id'])) { $s_id = $_GET['id']; $_SESSION['chosen_doc'] = array(); array_push($_SESSION['chosen_doc'], $s_id); } $_SESSION['origin'] = "basket"; //added by lgi for webdav_ws.php $_SESSION['admin_models'] = array(); ?> <?php echo _TITLE_PROCESS;?>
connect(); $db->query("SELECT FORMAT, SOURCE, RES_ID FROM ".$_SESSION['ressources'][0]['tablename']." WHERE RES_ID = '".$_GET['view']."'"); $webdav = new webdav_tools(); if ($res = $db->fetch_object()) { if ($res->SOURCE == "Local File" && is_array($webdav->get_application($_SESSION['user']['UserId'], $res->FORMAT))) { ?> " code="webdav.class" name="webdav" id="webdav" WIDTH="0" HEIGHT="0">