Modify a grade with decimal on the gradebook saves the integer part - CT#653

15 years ago · 6179981e20
parent d02cd4c205
commit 6179981e20
1 changed files with 1 additions and 1 deletions
--- a/main/gradebook/gradebook_view_result.php
+++ b/main/gradebook/gradebook_view_result.php
@ -62,7 +62,7 @@ if (isset ($_GET['editres'])) {
 		$result->set_id($edit_res_xml);
 		$result->set_user_id($values['hid_user_id']);
 		$result->set_evaluation_id($select_eval_edit);
-		$row_value=isset($values['score']) ? (int)$values['score'] : 0 ;
+		$row_value=isset($values['score']) ? (double)$values['score'] : 0 ;
 	if ((!empty ($row_value)) || ($row_value == 0)) {
 		$result->set_score($row_value);
 	}