|
@@ -27,13 +27,14 @@ Void function json_send_data(port : String, data : Element):
|
|
|
Element expected
|
|
|
Element copy
|
|
|
Element entry
|
|
|
- String key
|
|
|
+ Element key
|
|
|
|
|
|
keys = dict_keys(data)
|
|
|
expected = list_to_set(range(dict_len(data)))
|
|
|
if (set_equality(keys, expected)):
|
|
|
// Equal, so we are (most likely...) dealing with a list
|
|
|
comm_set(port, "L")
|
|
|
+ comm_set(port, list_len(data))
|
|
|
|
|
|
copy = list_copy(data)
|
|
|
while (list_len(copy) > 0):
|
|
@@ -42,6 +43,7 @@ Void function json_send_data(port : String, data : Element):
|
|
|
else:
|
|
|
// Not equal, so we are surely dealing with a dict
|
|
|
comm_set(port, "D")
|
|
|
+ comm_set(port, dict_len(data))
|
|
|
|
|
|
while (set_len(keys) > 0):
|
|
|
key = set_pop(keys)
|