Dev servlets now emits data about dev server