14 if (!file_exists(getcwd().
"/ilias.ini.php"))
 
   16     header(
"Location: ./setup/setup.php");
 
   31 if ($_SERVER[
'REQUEST_METHOD'] == 
'PROPFIND' 
   32 || $_SERVER[
'REQUEST_METHOD'] == 
'OPTIONS')
 
   34         $status = 
'404 Not Found';
 
   35         header(
"HTTP/1.1 $status");
 
   36         header(
"X-WebDAV-Status: $status", 
true);
 
   46         $cookie_domain = $_SERVER[
'SERVER_NAME'];
 
   47         $cookie_path = dirname( $_SERVER[
'PHP_SELF'] );
 
   54         $cookie_path .= (!preg_match(
"/[\/|\\\\]$/", $cookie_path)) ? 
"/" : 
"";
 
   56         if($cookie_path == 
"\\") $cookie_path = 
'/';
 
   60         setcookie(
"ilClientId", 
$_GET[
"client_id"], 0, $cookie_path, $cookie_domain);
 
   65 require_once(
"Services/Init/classes/class.ilInitialisation.php");
 
   68 $ilCtrl->initBaseClass(
"ilStartUpGUI");
 
   69 $ilCtrl->setTargetScript(
"ilias.php");