Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit c1743768 authored by Sylvain Dailler's avatar Sylvain Dailler

Return null when json list is empty

parent 96faa1b7
......@@ -53,7 +53,7 @@ let print_map_binding key_to_str value_pr fmt binding =
exception Bad_value
let map_bindings key_to_str value_pr fmt map_bindings =
if map_bindings = [] then raise Bad_value
if map_bindings = [] then fprintf fmt "null"
else
Pp.print_list_delim ~start:Pp.lbrace ~stop:Pp.rbrace ~sep:Pp.comma
(print_map_binding key_to_str value_pr) fmt map_bindings
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment