rem: void ECA_ENGINE::stop_servers(void) { if (use_double_buffering_rep == true) {
add: void ECA_ENGINE::stop_servers(void) { if (csetup_repp->double_buffering() == true) {
context: void ECA_ENGINE::stop_servers(void) {   if (use_double_buffering_rep == true) {    csetup_repp->pserver_repp->stop();    csetup_repp->pserver_repp->wait_for_stop();  }  if (use_midi_rep == true) {    csetup_repp->midi_server_repp->stop();  }}