Make configuration push timeout configurable