Spuds/playpen — pull request #7 by emanuele45 (2012-02-22 18:11:04+00:00)
Title: two minor fixes and hostname

The hostname [Bug 3734] is the simple one with a fatal error if the hostname typed is not included in $boardurl.
There is still a branch hostname_experimental, but I don't know if it is worth...