ensure_db_ok (): on error: do not refresh immediately, but wait for one second. put helpers in common.php

2024-03-08 18:55:41 +01:00
parent be8a98bf59
commit 90d53a3a43
1 changed files with 10 additions and 0 deletions
@@ -0,0 +1,10 @@
 <?php
 function ensure_db_ok ($sql_stmt) {
  if($sql_stmt == False) {
    echo "Database is busy";
    header("refresh:1;");
    exit;
  }
 }