tma/include/timer.inc.php
2024-02-12 20:46:07 +01:00

69 lines
1.5 KiB
PHP

<?php
/* fixe un timer */
function settimer($TimerName, $String)
{
$FileTimerName = "modules/timers/$TimerName.csv";
if (strftime("%m", time()) < 10) {
$Date = strftime("%Y%0m%d%H%M%S", time());
} else {
$Date = strftime("%Y%m%d%H%M%S", time());
}
$fp = fopen("$FileTimerName", "w+");
$Ligne = sprintf("\"".$Date."\",\"".$String."\"\n");
fwrite($fp, $Ligne);
fclose($fp);
// echo "fichier créé<br>";
}
/* renvoie $string si le temps n'est pas écoulé, ou FALSE sinon */
function timer($TimerName, $TimerNb)
{
$FileTimerN = "modules/timers/$TimerName.csv";
if (strftime("%m", time()) < 10) {
$Date = strftime("%Y%0m%d%H%M%S", time());
} else {
$Date = strftime("%Y%m%d%H%M%S", time());
}
if (!file_exists("$FileTimerN")) {
$timer = false;
} else {
// lecture de la date stockée dans le fichier
$fp = fopen("$FileTimerN", "r");
$data = fgetcsv($fp, 1000, ",");
fclose($fp);
$FileDate = $data[0];
$Date = strftime("%Y%m%d%H%M%S", time());
$String = $data[1];
if ($Date >= ($FileDate + $TimerNb)) {
// echo "date dépassée:".$Date." >= ".($FileDate+$TimerNb)."<br>";
$timer = false;
} else {
$timer = $String;
}
}
return $timer;
}
/* renvoie l'heure française (format HH:MM) */
function iheure()
{
if ($HTTP_GET_VARS["IFRANCE"] == "1") {
$iheure = $I_HEURE_UK;
} else {
$iheure = date("H:i");
}
return $iheure;
}