Re: Review Request 137: DB: Restart database server after changing config