<input type="submit" class="hide"/> <div class="search-button-wrapper"> <button name="t" value="0" type="submit"><?php printtext("search_button"); ?></button> <?php if (1 > strlen($opts->query) || strlen($opts->query) > 256) { 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/tools.php"; require_once "misc/search_engine.php"; require_once "locale/localization.php"; $opts = load_opts(); if ($opts->disable_api) { echo "<table><tr>"; echo