From 4e210745da2ee97ebcede54823d6ed7647696e8d Mon Sep 17 00:00:00 2001
From: gravel <gravel@noreply.codeberg.org>
Date: Wed, 21 Jun 2023 12:38:32 +0000
Subject: [PATCH] Serve JSON of fetched servers

---
 .gitignore | 3 +++
 .phpenv    | 3 +--
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 1bbe701..a1460a1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,6 @@
+# Fetched room info
+output/servers.json
+
 # Generated HTML
 output/*.html
 
diff --git a/.phpenv b/.phpenv
index 918c5de..27cd109 100644
--- a/.phpenv
+++ b/.phpenv
@@ -2,8 +2,8 @@
 	$PROJECT_ROOT=__DIR__;
 	$PHP_ROOT="$PROJECT_ROOT/php";
 	$CACHE_ROOT="$PROJECT_ROOT/cache";
-	$ROOMS_FILE="$CACHE_ROOT/rooms.json";
 	$DOCUMENT_ROOT="$PROJECT_ROOT/output";
+	$ROOMS_FILE="$DOCUMENT_ROOT/servers.json";
 	$TEMPLATES_ROOT="$PROJECT_ROOT/sites";
 	$LANGUAGES_ROOT="$PROJECT_ROOT/languages";
 	$QR_CODES="$DOCUMENT_ROOT/qr-codes";
@@ -34,4 +34,3 @@
 	error_reporting(E_ALL & ~E_WARNING);
 
 	date_default_timezone_set('UTC');
-?>