LEEF なログを JSON に変換するのに、LEEF:2.0 を PHP の json_encode で JSON_NUMERIC_CHECK つけたら 2.0 が 2 になった。その気持ちはわかるよ気持ちは。他にも 10.0 が 10 になったので、^\d+\.\d+$ は int ねって前処理を追加。あと null も拾って明記。
June 21, 2023 at 1:42 AM
LEEF なログを JSON に変換するのに、LEEF:2.0 を PHP の json_encode で JSON_NUMERIC_CHECK つけたら 2.0 が 2 になった。その気持ちはわかるよ気持ちは。他にも 10.0 が 10 になったので、^\d+\.\d+$ は int ねって前処理を追加。あと null も拾って明記。