From 42c2deffa2906d92979787fe8cfc9d98d92132cd Mon Sep 17 00:00:00 2001 From: frederik Date: Tue, 27 Feb 2024 08:49:31 +0100 Subject: [PATCH] put commonly used snippets in common.php --- scripts/common.php | 79 ++++++++++++++++++++++++++++++++++++++++++++-- 1 file changed, 77 insertions(+), 2 deletions(-) diff --git a/scripts/common.php b/scripts/common.php index 7b5910c..a333685 100644 --- a/scripts/common.php +++ b/scripts/common.php @@ -1,10 +1,85 @@ ' . $error_message . ''; + exit; + } +} + +function debug_log($message) { + if (is_bool($message)) { + $message = $message ? 'true' : 'false'; + } + error_log($message . "\n", 3, $_SERVER['DOCUMENT_ROOT'] . "/debug_log.log"); +}