Libraries anvil net Response sendRedirect

void sendRedirect(string url)
Creates temporary redirection (302) to given url.
Throws IOError -  If an IO error occurs