bugzid 3562: speed up server launch so that pause/terminate settings takes effect