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