improved logging for auto-registered ResourceServlet and PushServlet