• Tobias Hunger's avatar
    server-mode: Add debug support · 4fb2b41a
    Tobias Hunger authored
    Enable the server to support development with some helper tools:
    You can now request debug information with statistics on how
    long execution of a command took, how long it took to serialize
    the JSON files, and how big the serialized JSON string is.
    Also allow to dump results into a file.