Method Details

• getServiceUrl

  public static String getServiceUrl(VaadinRequest vaadinRequest)

  Gets the service URL as a URL relative to the request URI.

  Parameters:

  vaadinRequest - the request

  Returns:

  the relative service URL

• getPushURL

  public static String getPushURL(VaadinSession vaadinSession, VaadinRequest vaadinRequest)

  Gets the push URL as a URL relative to the request URI.

  Parameters:

  vaadinSession - the session

  vaadinRequest - the request

  Returns:

  the relative push URL

• determinePushServletMapping

  public static String determinePushServletMapping(VaadinSession vaadinSession)

• getCleanedPushServletMapping

  public static String getCleanedPushServletMapping(String pushServletMapping)

  Cleans up the given push servlet mapping value for proper use. Effectively makes sure it starts and ends with a '/', and removes possible '/*' at the end.

  Parameters:

  pushServletMapping - Original pushServletMapping value

  Returns:

  cleaned-up value, or null if the original value is blank.

• getServletRegistration

  public static Optional<jakarta.servlet.ServletRegistration> getServletRegistration(jakarta.servlet.ServletConfig servletConfig)

  Returns a ServletRegistration for the given ServletConfig, if available.

  Parameters:

  servletConfig - ServletConfig to find the registration for.

  Returns:

  an optional ServletRegistration, or an empty optional if a registration is not available.

• findFirstUrlMapping

  public static String findFirstUrlMapping(jakarta.servlet.ServletRegistration registration)

  Returns the first of sorted URL mappings of the given ServletRegistration, ignoring '/VAADIN/*' and '/vaadinServlet/*' mapping.

  Parameters:

  registration - ServletRegistration from which to look up the mappings.

  Returns:

  first URL mapping, ignoring '/VAADIN/*' and '/vaadinServlet/*'