json_dumper: make json_dumper_bad fatal.
authorDario Lombardo <lomato@gmail.com>
Wed, 2 Jan 2019 22:59:41 +0000 (23:59 +0100)
committerPeter Wu <peter@lekensteyn.nl>
Thu, 3 Jan 2019 14:04:23 +0000 (14:04 +0000)
commit19d787d0514696eff4b723d23c7615155c23b245
tree860ee88fb9209d3e9854aec3a9aa2c3d1e4ec76e
parent7c788fd459df3b8f87c6a50698c125f15b229772
json_dumper: make json_dumper_bad fatal.

A call to this function means a programming error. g_error makes it
fatal and terminates the program, making the debug easier.

Change-Id: I5c9e82507482733b4d450ed6c3a9fc17fb0fcdca
Reviewed-on: https://code.wireshark.org/review/31310
Petri-Dish: Peter Wu <peter@lekensteyn.nl>
Petri-Dish: Dario Lombardo <lomato@gmail.com>
Tested-by: Petri Dish Buildbot
Reviewed-by: Peter Wu <peter@lekensteyn.nl>
wsutil/json_dumper.c