- Posts: 1
Problème de réservation sur calendrier mensuel - GRR 4.4.2
- mmuu
-
Topic Author
- New Member
-
Less
More
2 days 14 hours ago #6051
by mmuu
Problème de réservation sur calendrier mensuel - GRR 4.4.2 was created 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;
}
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
-
Less
More
- Posts: 2282
1 day 18 hours ago #6054
by Yan
Replied by Yan on topic 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
Please Log in or Create an account to join the conversation.
Moderators: Yan