* It might be better to use http.getURL() instead of http.getRawURL(), because it protects against some malicious attacks encoded in the URL.

* You can use http.getHostHeader() instead of http.getHeader(“Host”). The advantage is that it strips off the port, so you’ll get to the right port based on the protocol even if the browser had sent an explicit port in the original request.

* No need to fire off a regex match in this case, string.startsWith() will do.

* There’s a http.redirect() which is a bit more convenient to use in this case.