Problème de réservation sur calendrier mensuel - GRR 4.4.2

  • mmuu
  • Topic Author
  • New Member
  • New Member
More
2 days 14 hours ago #6051 by mmuu
Bonjour,

GRR version 4.4.2 et mysql  Ver 15.1 Distrib 10.5.29-MariaDB

Nous avons un soucis de réservation quand les utilisateurs (admin inclus) appuie sur le + dans le calendrier mensuel pour effectuer une réservation, voir image:

Nous obtenons, sur Firefox, Chrome et Edge, un message d'erreur 500:
 

Par contre quand on utilise la page de la journée, tout fonctionne correctement:
   
 

En regardant de plus près certaines ressources n'avaient pas ce comportement. Ceci se produit quand une ressource dans configuration des fonctionnalités a la valeur "la date/heure de fin de réservation" à "Pour une nouvelle réservation ou modification d'une réservation, l'utilisateur spécifie la date/heure de début de réservation et"

Est-ce normal ? 

Dans le log nous avons:
[Tue Dec 09 13:22:44.674543 2025] [php:error] [pid 757405:tid 757405] [client x:9414] PHP Fatal error:  Uncaught TypeError: Unsupported operand types: string + int in /srv/appli/reservation-dai/include/functions.inc.php:5884\nStack trace:\n#0 /srv/appli/reservation-dai/reservation/controleurs/editentree.php(677): jQuery_TimePickerTwig()\n#1 /srv/appli/reservation-dai/app.php(112): include('...')\n#2 {main}\n  thrown in /srv/appli/reservation-dai/include/functions.inc.php on line 5884, referer: reservation-dai.local.enit.fr/app.php?p=...th=12&day=1&&room=51

Ce qui nous renvoie à cette fonction ( plante à la ligne en gras)

function jQuery_TimePickerTwig($typeTime, $start_hour, $start_min,$dureepardefaultsec)
{
    if (isset ($_GET))
    {
        if (isset($start_hour) && isset($start_min))
        {
            $hour = $start_hour;
            $minute = $start_min;
        }
        else
        {
            $hour = date("h");
            $minute = date("m");
        }
    }
    else
    {
        $hour = (isset ($_GET))? clean_input($_GET) : date("h");
        $minute = (isset ($_GET))? clean_input($_GET) : date("m");
            
        if ($typeTime == 'end_'){
            $dureepardefautmin = $dureepardefaultsec/60;
            if ($dureepardefautmin == 60){
                $ajout = 1;
                $hour = $_GET + $ajout;
                $minute ="00";
            }
            elseif ($dureepardefautmin < 60){
                $hour = $_GET;
                $minute =$dureepardefautmin;
            }

Please Log in or Create an account to join the conversation.

  • Yan
  • Developpeur GRR
  • Developpeur GRR
More
1 day 18 hours ago #6054 by Yan
Bonjour,
merci pour votre retour d'expérience et les détails que vous apportez.
Cependant, j'ai apporté des modifications à la page d'édition depuis la version 4.4.2. Pourriez-vous tester, dans votre contexte, les derniers fichiers de la branche master du dépôt Github ? github.com/JeromeDevome/GRR/tree/master puis Code et Download ZIP ; procéder comme pour une mise à jour. D'ailleurs il vous sera demandé de faire une mise à jour de la base de données si vous réimportez des données depuis v4.4.2.
Cordialement,
YN

Please Log in or Create an account to join the conversation.

Moderators: Yan