diff options
author | Přemysl Janouch <p@janouch.name> | 2018-10-17 23:26:11 +0200 |
---|---|---|
committer | Přemysl Janouch <p@janouch.name> | 2018-10-17 23:26:54 +0200 |
commit | cf56921c4e1959bb3962b4f99ee4a1e7665c57d4 (patch) | |
tree | eb156946de5355fe7410e1e02e364810b184d280 /json-format.pl | |
parent | a3ec0942f8063509a00695d6e702a7f914caa7e9 (diff) | |
download | json-rpc-shell-cf56921c4e1959bb3962b4f99ee4a1e7665c57d4.tar.gz json-rpc-shell-cf56921c4e1959bb3962b4f99ee4a1e7665c57d4.tar.xz json-rpc-shell-cf56921c4e1959bb3962b4f99ee4a1e7665c57d4.zip |
Allow WebSockets to micromanage shutdowns
They have their reasons, mostly event-related.
Diffstat (limited to 'json-format.pl')
0 files changed, 0 insertions, 0 deletions