use message instead of tojson in db.shutdownServer(), fixes #73