set_redirect


Description:

public void set_redirect (uint status_code, string redirect_uri)

Sets this's status_code to status_code and adds a Location header pointing to redirect_uri .

Use this from a [class@Server] when you want to redirect the client to another URI.

redirect_uri can be a relative URI, in which case it is interpreted relative to this's current URI. In particular, if redirect_uri is just a path, it will replace the path *and query* of this 's URI.

Parameters:

this

a ServerMessage

status_code

a 3xx status code

redirect_uri

the URI to redirect this to