index.php
Go to the documentation of this file.
00001 <?php 00002 00005 00018 ini_set("display_errors", 00019 "Off"); // Don't display errors to the users. Set it to "On" to see errors for debugging purposes. 00020 00021 ini_set("memory_limit", "64M"); 00022 00023 00024 // Database connectivity procedures 00025 include_once("../../framework/db.php"); 00026 00027 // Content negotion class 00028 include_once("../../framework/Conneg.php"); 00029 00030 include_once("../../framework/arc2/ARC2.php"); 00031 00032 // The Web Service parent class 00033 include_once("../../framework/WebService.php"); 00034 00035 include_once("../../framework/ProcessorXML.php"); 00036 00037 include_once("../../framework/Solr.php"); 00038 include_once("../../framework/ClassHierarchy.php"); 00039 include_once("../../framework/Namespaces.php"); 00040 00041 include_once("CrudUpdate.php"); 00042 include_once("../../auth/validator/AuthValidator.php"); 00043 include_once("../../dataset/read/DatasetRead.php"); 00044 00045 include_once("../../framework/Logger.php"); 00046 00047 00048 // IP being registered 00049 $registered_ip = ""; 00050 00051 if(isset($_POST['registered_ip'])) 00052 { 00053 $registered_ip = $_POST['registered_ip']; 00054 } 00055 00056 // Dataset where to index the resource 00057 $dataset = ""; 00058 00059 if(isset($_POST['dataset'])) 00060 { 00061 $dataset = $_POST['dataset']; 00062 } 00063 00064 // RDF document where resource(s) to be added are described 00065 $document = ""; 00066 00067 if(isset($_POST['document'])) 00068 { 00069 $document = $_POST['document']; 00070 } 00071 00072 // Mime of the RDF document serialization 00073 $mime = ""; 00074 00075 if(isset($_POST['mime'])) 00076 { 00077 $mime = $_POST['mime']; 00078 } 00079 00080 $mtime = microtime(); 00081 $mtime = explode(' ', $mtime); 00082 $mtime = $mtime[1] + $mtime[0]; 00083 $starttime = $mtime; 00084 00085 $start_datetime = date("Y-m-d h:i:s"); 00086 00087 $requester_ip = "0.0.0.0"; 00088 00089 if(isset($_SERVER['REMOTE_ADDR'])) 00090 { 00091 $requester_ip = $_SERVER['REMOTE_ADDR']; 00092 } 00093 00094 $parameters = ""; 00095 00096 if(isset($_SERVER['REQUEST_URI'])) 00097 { 00098 $parameters = $_SERVER['REQUEST_URI']; 00099 00100 $pos = strpos($parameters, "?"); 00101 00102 if($pos !== FALSE) 00103 { 00104 $parameters = substr($parameters, $pos, strlen($parameters) - $pos); 00105 } 00106 } 00107 elseif(isset($_SERVER['PHP_SELF'])) 00108 { 00109 $parameters = $_SERVER['PHP_SELF']; 00110 } 00111 00112 $ws_crudupdate = new CrudUpdate($document, $mime, $dataset, $registered_ip, $requester_ip); 00113 00114 $ws_crudupdate->ws_conneg($_SERVER['HTTP_ACCEPT'], $_SERVER['HTTP_ACCEPT_CHARSET'], $_SERVER['HTTP_ACCEPT_ENCODING'], 00115 $_SERVER['HTTP_ACCEPT_LANGUAGE']); 00116 00117 $ws_crudupdate->process(); 00118 00119 $ws_crudupdate->ws_respond($ws_crudupdate->ws_serialize()); 00120 00121 $mtime = microtime(); 00122 $mtime = explode(" ", $mtime); 00123 $mtime = $mtime[1] + $mtime[0]; 00124 $endtime = $mtime; 00125 $totaltime = ($endtime - $starttime); 00126 00127 00128 //echo $totaltime."ms\n"; 00129 00130 $logger = new Logger("crud_update", $requester_ip, 00131 "?document=" . substr($document, 0, 64) . "&mime=" . $mime . "&dataset=" . $dataset . "®istered_ip=" 00132 . $registered_ip . "&requester_ip=$requester_ip", $_SERVER['HTTP_ACCEPT'], $start_datetime, $totaltime, 00133 $ws_crudupdate->pipeline_getResponseHeaderStatus(), $_SERVER['HTTP_USER_AGENT']); 00134 00135 00137 00138 ?>
