mirror of
https://github.com/MariaDB/server.git
synced 2025-07-30 16:24:05 +03:00
MDEV-11461 JSON_TYPE does not recognize integer/double types.
Integer/Double recognition added.
This commit is contained in:
@ -215,7 +215,10 @@ json_type("true")
|
||||
BOOLEAN
|
||||
select json_type('123');
|
||||
json_type('123')
|
||||
NUMBER
|
||||
INTEGER
|
||||
select json_type('123.12');
|
||||
json_type('123.12')
|
||||
DOUBLE
|
||||
select json_keys('{"a":{"c":1, "d":2}, "b":2}');
|
||||
json_keys('{"a":{"c":1, "d":2}, "b":2}')
|
||||
["a", "b"]
|
||||
|
Reference in New Issue
Block a user