- Messages : 1
Problème de réservation sur calendrier mensuel - GRR 4.4.2
- mmuu
-
Auteur du sujet
- Nouveau membre
-
Moins
Plus d'informations
il y a 1 semaine 4 jours #6051
par mmuu
Problème de réservation sur calendrier mensuel - GRR 4.4.2 a été créé par 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;
}
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;
}
Connexion ou Créer un compte pour participer à la conversation.
- Yan
-
- Developpeur GRR
-
Moins
Plus d'informations
- Messages : 2286
il y a 1 semaine 3 jours #6054
par Yan
Réponse de Yan sur le sujet Problème de réservation sur calendrier mensuel - GRR 4.4.2
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
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
Connexion ou Créer un compte pour participer à la conversation.
Modérateurs: Yan