diff --git a/php/fetch-servers.php b/php/fetch-servers.php index 451be2cc..5b662fe1 100644 --- a/php/fetch-servers.php +++ b/php/fetch-servers.php @@ -22,6 +22,7 @@ file_exists($CACHE_ROOT) or mkdir($CACHE_ROOT, 0700); + // TODO: Tag information is currently discarded. Feature needs triage. $html_pages = query_known_sources(); // Find join links in each HTML document and concatenate the results. $join_links = array_merge([], ...array_map('parse_join_links', $html_pages)); @@ -95,7 +96,7 @@ $pages_sdir = []; - // TODO + $json_sdir = json_decode(file_get_contents($SOURCES['SDIR-JSON'])); log_debug($http_response_header[0]); // Supposed to be "HTTP/1.1 200 OK" foreach ($json_sdir as $room) $pages_sdir[] = $room->url;