web: Fix title of #server page

By getting the 'machine' parameters actually from the 'server' part of
the URL, and not the current page.