sharkd: use json_dumper for output.
authorDario Lombardo <lomato@gmail.com>
Wed, 12 Dec 2018 14:33:44 +0000 (15:33 +0100)
committerDario Lombardo <lomato@gmail.com>
Mon, 7 Jan 2019 18:19:12 +0000 (18:19 +0000)
commit4b42a45ebc35b5d2c7ff00cb5653d25497c4a848
tree4cf32e39d5ce46dd2f59995c7970794af0d30e49
parent711eb94438a031822686958d0dd90adfcf35438f
sharkd: use json_dumper for output.

Change-Id: I457613ea154a86098f536b57844ad6606c595a46
Reviewed-on: https://code.wireshark.org/review/31035
Petri-Dish: Dario Lombardo <lomato@gmail.com>
Tested-by: Petri Dish Buildbot
Reviewed-by: Dario Lombardo <lomato@gmail.com>
sharkd_session.c
test/suite_sharkd.py