Restrict hostname to single user #343
Description
In the management interface different users can currently manage servers on the same hostname, so long as their ports are different. This is likely unwanted behavior in the longer term, but restricting it is somewhat non-trivial.