Another less optimal option is to let the webserver handle the redirection based on the HTTP headers, via some sort of extension. Or instead of writing HTTP headers you could write to the the URL and just use some sort of Rewrite rule.
-- You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group. To post to this group, send email to google-web-tool...@googlegroups.com. To unsubscribe from this group, send email to google-web-toolkit+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/google-web-toolkit?hl=en.
