Files | |
| file | sparql/index.php |
Entry point of a query for the SPARQL web service. | |
| file | Sparql.php |
Define the Sparql web service. | |
Variables | |
| $query = "" | |
| if(isset($_POST['query'])) | $dataset = "" |
| if(isset($_POST['dataset'])) if(isset($_POST['default-graph-uri'])&&$dataset=="") if(isset($_POST['named-graph-uri'])&&$dataset=="") | $limit = 2000 |
| if(isset($_POST['limit'])) | $offset = 0 |
| if(isset($_POST['offset'])) | $registered_ip = "" |
| if(isset($_POST['registered_ip'])) | $mtime = microtime() |
| $starttime = $mtime | |
| $start_datetime = date("Y-m-d h:i:s") | |
| $requester_ip = "0.0.0.0" | |
| if(isset($_SERVER['REMOTE_ADDR'])) | $parameters = "" |
| if(isset($_SERVER['REQUEST_URI'])) elseif(isset($_SERVER['PHP_SELF'])) | $ws_sparql = new Sparql($query, $dataset, $limit, $offset, $registered_ip, $requester_ip) |
| $endtime = $mtime | |
| $totaltime = ($endtime - $starttime) | |
| $logger | |
Variable Documentation
| if (isset($_POST['query'])) $dataset = "" |
Definition at line 50 of file sparql/index.php.
| $endtime = $mtime |
Definition at line 138 of file sparql/index.php.
| if (isset($_POST['dataset'])) if (isset($_POST['default-graph-uri'])&&$dataset=="") if (isset($_POST['named-graph-uri'])&&$dataset=="") $limit = 2000 |
Definition at line 71 of file sparql/index.php.
| $logger |
Initial value:
new Logger("sparql", $requester_ip, "?query=" . $query . "&dataset=" . $dataset . "®istered_ip=" . $registered_ip . "&requester_ip=$requester_ip", $_SERVER['HTTP_ACCEPT'], $start_datetime, $totaltime, $ws_sparql->pipeline_getResponseHeaderStatus(), $_SERVER['HTTP_USER_AGENT'])
Definition at line 141 of file sparql/index.php.
| $mtime = microtime() |
Definition at line 94 of file sparql/index.php.
| if (isset($_POST['limit'])) $offset = 0 |
Definition at line 79 of file sparql/index.php.
| if (isset($_SERVER['REMOTE_ADDR'])) $parameters = "" |
Definition at line 108 of file sparql/index.php.
| $query = "" |
Definition at line 42 of file sparql/index.php.
| if (isset($_POST['offset'])) $registered_ip = "" |
Definition at line 87 of file sparql/index.php.
| $requester_ip = "0.0.0.0" |
Definition at line 101 of file sparql/index.php.
| $start_datetime = date("Y-m-d h:i:s") |
Definition at line 99 of file sparql/index.php.
| $starttime = $mtime |
Definition at line 97 of file sparql/index.php.
| $totaltime = ($endtime - $starttime) |
Definition at line 139 of file sparql/index.php.
| if (isset($_SERVER['REQUEST_URI'])) elseif (isset($_SERVER['PHP_SELF'])) $ws_sparql = new Sparql($query, $dataset, $limit, $offset, $registered_ip, $requester_ip) |
Definition at line 126 of file sparql/index.php.
