How can I get a the host name (with port) that a servlet is at June 1, 2023 by Tarik ServletRequest.getServerName(...) ServletRequest.getServerPort(...)