mitchellh/vagrant — pull request #4573 by mkuzmin (2014-09-29 18:39:44+00:00)
Title: config.vm.box_server_url setting is ignored

https://github.com/mitchellh/vagrant/pull/4282 introduced new setting to set alternate vagrant cloud server URLs, but it doesn't work actually.

This PR helps to process the value correctly.