From 90d53a3a43839886c5628f4c66c12de8df35f54f Mon Sep 17 00:00:00 2001
From: frederik <frederik.slos@gmail.com>
Date: Fri, 8 Mar 2024 18:55:41 +0100
Subject: [PATCH] ensure_db_ok (): on error: do not refresh immediately, but
 wait for one second. put helpers in common.php

---
 scripts/common.php | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 scripts/common.php

diff --git a/scripts/common.php b/scripts/common.php
new file mode 100644
index 0000000..7b5910c
--- /dev/null
+++ b/scripts/common.php
@@ -0,0 +1,10 @@
+<?php
+
+
+function ensure_db_ok ($sql_stmt) {
+  if($sql_stmt == False) {
+    echo "Database is busy";
+    header("refresh:1;");
+    exit;
+  }
+}