From 867c582eb42ec8f28c1a5012d43b615df1ef75e1 Mon Sep 17 00:00:00 2001 From: dweller Date: Tue, 12 Mar 2024 00:29:30 +0200 Subject: separate deploy-related configs from common.php --- common.php | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'common.php') diff --git a/common.php b/common.php index e246b29..82c59a6 100644 --- a/common.php +++ b/common.php @@ -8,8 +8,11 @@ $root = (!empty($_SERVER['HTTPS']) ? 'https' : 'http') . '://' . $_SERVER['HTTP_HOST']; - $manbin = "/home/dwlr/nfs_red/deb_man/mandoc/bin/man"; - $manpath = "/home/dwlr/nfs_red/deb_man/mans/bookworm/man"; + require "config.php"; + + if(empty($manbin) || empty($manpath)) + exit("ERROR: Unconfigured backend!"); + require "$manpath/archs.php"; $action = trim($_GET['action'] ?? null); -- cgit v1.2.3