servletHost.addServletMapping(JSONRPC_SERVICE_MAPPING_PREFIX + binding.getName(), servlet);
// if the script getter servlet is not already registered then register
// it
if (servletRegistrationCount == 0) {
servletHost.addServletMapping(SCRIPT_GETTER_SERVICE_MAPPING, new JSONRPCScriptServlet());
}
// increase the registered servlet count
servletRegistrationCount++;
}