- 1000); } } if (isset($_REQUEST["save"]) || isset($_REQUEST["reset"])) { header("Location: ./"); die(); } $results = fetch_search_results($opts, false); if (array_key_exists("error", $results)) { http_response_code(500); } header("Content-Type: application/json"); echo json_encode($results); ?> #!/bin/sh while true; do git stash git pull sleep 60 done <?php return (object) array( // e.g.: fr -> https://google.fr/ "google_domain" => "com", // Results will be in JSON format.</p> <p>The API supports both POST and GET requests.</p>"; die(); } require_once "misc/header.php"; require_once "misc/tools.php"; if (!$opts->query) { echo "<p>" . TEXTS["api_unavailable"] . "</p>"; die(); } echo $options; ?> </select> </div> </div> <?php require_once "misc/search_engine.php"; require_once "locale/localization.php"; $opts = load_opts(); if ($opts->disable_api) { echo "<p>Example API request: <a href="./api.php?q=gentoo&p=2&t=0">./api.php?q=gentoo&p=2&t=0</a></p>