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