This servlet is registered to handle the ``default'' virtual host, i.e., requests that don't match the virtual host specified on the command line, which is @htmlencode(@vhost()).
@if(@equal(@get_header("Host"), "")) Your browser sent no Host: header. It must be really old. @else Your browser sent this Host: header:
Host: @htmlencode(@get_header("Host"))@endif @set("scheme", "http") @if(@get_ssl()) @set("ssl", "s") @endif() @if(@or( @and(@not(@get_ssl()), @not(@equal(@get_port(), "80"))), @and(@get_ssl(), @not(@equal(@get_port(), "443"))))) @set("port", @cat(":", @get_port())) @endif() @set("url", @cat(@get("scheme"), "://", @vhost(), @get("port"), "/"))
To get to the virtual host @htmlencode(@vhost()), click on this link:
@htmlencode(@get("url"))