| changeset 3762 | 900ea02ab00b |
| parent 3752 | 27abf3b6819a |
| child 4466 | 4356088ad675 |
| 3761:971417eedfee | 3762:900ea02ab00b |
|---|---|
40 }; |
40 }; |
41 send(json.encode(payload)); |
41 send(json.encode(payload)); |
42 end |
42 end |
43 end |
43 end |
44 |
44 |
45 function module.unload() |
|
46 -- deregister |
|
47 require"core.loggingmanager".register_sink_type("json", nil); |
|
48 end |
|
49 |
|
45 require"core.loggingmanager".register_sink_type("json", sink_maker); |
50 require"core.loggingmanager".register_sink_type("json", sink_maker); |