separate deploy-related configs from common.php

1 files changed, 5 insertions, 2 deletions

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);