DNS Cache Manager: add resolver();