diff --git a/ordini.php b/ordini.php index 1b5337a..50d9995 100644 --- a/ordini.php +++ b/ordini.php @@ -18,7 +18,7 @@ fgets($file); while (($linea = fgets($file)) !== false) { $campi = explode(",", $linea); if($campi[1] == $requestedId){ - array_push($ordini, new User($campi[0], $campi[2], $campi[3])); + array_push($ordini, new User($campi[0], $campi[2], floatval($campi[3]))); } } fclose($file); @@ -40,7 +40,7 @@ fclose($file);