- _MSG("Destroying session %s", session->name);
- newline_needed = true;
- printed_destroy_msg = true;
- fflush(stdout);
+ if (!printed_destroy_msg) {
+ _MSG("Destroying session %s",
+ session->name);
+ newline_needed = true;
+ printed_destroy_msg = true;
+ fflush(stdout);
+ }