-
Bjorn Munch authored
Checking is done before server is terminated Adds post processing of server logs if --valgrind Also had to remove --quiet option to valgrind
59940cdc
Checking is done before server is terminated Adds post processing of server logs if --valgrind Also had to remove --quiet option to valgrind