From 87ff532831f167d50c675b90102fc6a637e0af2a Mon Sep 17 00:00:00 2001
From: pezcurrel <pezcurrel@tiscali.it>
Date: Tue, 1 Nov 2022 07:44:55 +0100
Subject: [PATCH] Use gmmktime instead of mktime in pgdatetomy

---
 web/clitools/crawler.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/clitools/crawler.php b/web/clitools/crawler.php
index 9536f2a..c64f658 100755
--- a/web/clitools/crawler.php
+++ b/web/clitools/crawler.php
@@ -264,7 +264,7 @@ while($row=mysqli_fetch_assoc($res)) {
 function pgdatetomy($pgdate) {
 	//2018-04-07T15:05:26.801Z
 	if (preg_match('/^(\d+)-(\d+)-(\d+)[ T]{1}(\d+):(\d+):(\d+)(\.\d+)?Z?$/',$pgdate,$buf)===1) {
-		$mtime=mktime($buf[4],$buf[5],$buf[6],$buf[2],$buf[3],$buf[1]);
+		$mtime=gmmktime($buf[4],$buf[5],$buf[6],$buf[2],$buf[3],$buf[1]);
 		if (array_key_exists(7,$buf))
 			$mtime=$mtime+floatval('0'.$buf[7]);
 		return($mtime);