cockpit-project/cockpit — pull request #625 by mvollmer (2014-05-30 08:47:09+00:00)
Title: web: Fix title of #server page

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