Example #1
0
 private function load_settings()
 {
     include __DIR__ . "/SETTINGS.php";
     self::$path_external = $path_external;
     self::$path_external_media = self::$path_external . "media/";
     self::$path_internal = str_replace("\\", "/", __DIR__) . "/";
     self::$path_internal_media = self::$path_internal . "media/";
     self::$path_r_script = $path_r_script;
     self::$path_r_exe = $path_r_exe;
     self::$path_php_exe = $path_php_exe;
     if ($path_temp != "") {
         self::$path_temp = $path_temp;
     } else {
         self::$path_temp = self::$path_internal . "temp/";
     }
     self::$path_mysql_home = $path_mysql_home;
     if ($path_sock != "") {
         self::$path_unix_sock_dir = $path_sock;
     } else {
         self::$path_unix_sock_dir = self::$path_internal . "socks/";
     }
     self::$path_unix_sock = self::$path_unix_sock_dir . "RConcerto.sock";
     self::$server_socks_type = $server_socks_type == "UNIX" ? 0 : 1;
     self::$server_host = $server_host;
     self::$server_port = $server_port;
     self::$r_instances_timeout = $r_instances_persistant_instance_timeout;
     self::$r_server_timeout = $r_instances_persistant_server_timeout;
     self::$r_max_execution_time = $r_max_execution_time;
     self::$path_online_library_ws = "http://concerto.e-psychometrics.com/demo/online_library/ws.php";
     self::$remote_client_password = $remote_client_password;
     self::$public_registration = $public_registration;
     self::$public_registration_default_UserType_id = $public_registration_default_UserType_id;
     self::$cms_session_keep_alive = $cms_session_keep_alive;
     self::$cms_session_keep_alive_interval = $cms_session_keep_alive_interval;
     self::$unix_locale = $unix_locale;
     self::$contact_emails = $contact_emails;
     self::$forum_url = $forum_url;
     self::$project_homepage_url = $project_homepage_url;
     self::$timer_tamper_prevention = $timer_tamper_prevention;
     self::$timer_tamper_prevention_tolerance = $timer_tamper_prevention_tolerance;
     self::$timezone = $timezone;
     if ($mysql_timezone == "") {
         self::$mysql_timezone = $timezone;
     } else {
         self::$mysql_timezone = $mysql_timezone;
     }
     self::$log_client_side_errors = $log_client_side_errors;
     self::$log_document_unload = $log_document_unload;
 }