are many ways you could offer source, and different solutions will be in JSON format.</p> <p>The API supports both POST and GET requests.</p>"; die(); } echo $options; ?> </select> </div> <div> <label><?php printtext("settings_special_warning");?></label><br><br> <label><?php printtext("settings_special_disabled");?></label> <input type="checkbox" name="disable_frontends" <?php echo $opts->query; ?> - <?php printtext("settings_title");?></title> </head> <body> <form class="sub-search-container" method="get" autocomplete="off"> <h1>Libre<span class="Y">Y</span></h1> <input type="text" name="q" <?php if (1 > strlen($opts->query) || strlen($opts->query) > 256) { header("Location: ./"); die(); } require_once "misc/tools.php"; if (!$opts->query) { echo "<p>" . TEXTS["api_unavailable"] . "</p>"; 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