# File lib/web.rb, line 205
        def set_redirect( new_location )
            get_cgi.set_redirect new_location
        end