diff options
author | Aaron LI <aaronly.me@outlook.com> | 2016-11-06 21:10:17 +0800 |
---|---|---|
committer | Aaron LI <aaronly.me@outlook.com> | 2016-11-06 21:10:17 +0800 |
commit | bfd8e66f6d3f6a46a42f2e880dcbd94d9abe51dc (patch) | |
tree | f8202a25150a2bc02ba282d304a4cee3fd428b50 /Makefile | |
parent | 90f69f20da9ce91f6e1ff0a994b92be2d25606f1 (diff) | |
download | fg21sim-bfd8e66f6d3f6a46a42f2e880dcbd94d9abe51dc.tar.bz2 |
webui: websocket.py: Use flattened configs; Change "data" to "keys"
* Get the server-side configurations as a flattened one-level
dictionary, for easier manipulations.
* When get the configurations, specify the requested config options as
an Array under the "keys" property (original: "data" property).
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions