-
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
f1b4be2a
Checking is done before server is terminated Adds post processing of server logs if --valgrind Also had to remove --quiet option to valgrind