From d8c203e5d525d3c5e8c1d19c98f03401a4355d39 Mon Sep 17 00:00:00 2001
From: pezcurrel <pezcurrel@tiscali.it>
Date: Tue, 2 Jan 2024 01:11:52 +0100
Subject: [PATCH] Updated to new grace.php instead of gracetime.php

---
 web/site/users.php | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/web/site/users.php b/web/site/users.php
index 63f1b5d..95655b3 100644
--- a/web/site/users.php
+++ b/web/site/users.php
@@ -23,11 +23,9 @@ $lc=localeconv();
 
 require '../lib/n2es.php';
 require '../lib/tables.php';
-require '../lib/gracetime.php';
+require '../lib/grace.php';
 require '../lib/fnum.php';
 
-$graceline=time()-$gracetime;
-
 use function mysqli_real_escape_string as myesc;
 /*$dlang='fr';
 $dtzbl=array('ca'=>'Europe/Madrid','en'=>'Europe/London','es'=>'Europe/Madrid','fr'=>'Europe/Paris','it'=>'Europe/Rome');