rem: void ECA_ENGINE::init_servers(void) {
add: void ECA_ENGINE::init_servers(void) { if (csetup_repp->double_buffering() == true) { use_double_buffering_rep = true; csetup_repp->pserver_rep.set_buffer_defaults(csetup_repp->double_buffer_size() / buffersize_rep, buffersize_rep, csetup_repp->sample_rate()); csetup_repp->pserver_rep.set_schedpriority(csetup_repp->sched_priority() - 1); } else use_double_buffering_rep = false;
context: void ECA_ENGINE::init_servers(void){  if (csetup_repp->midi_devices.size() > 0) {    use_midi_rep = true;    ecadebug->msg(ECA_DEBUG::info, "(eca-engine) Initializing MIDI-server.");    csetup_repp->midi_server_repp->init();  }}