urbi: complain when allocated port and desired port differ.
urbi: complain when allocated port and desired port differ.

If, because of a typo, you request the port 540000, it is apparently
treated as the port 0: the system will allocate one itself.  Which can be
surprising.

	* src/console-server.cc: Ensure that allocated and demanded ports
	are equal.

aldebaran/urbi,urbiforge/urbi,aldebaran/urbi,urbiforge/urbi,aldebaran/urbi,urbiforge/urbi,urbiforge/urbi,aldebaran/urbi,urbiforge/urbi,urbiforge/urbi,aldebaran/urbi,urbiforge/urbi,aldebaran/urbi,aldebaran/urbi,urbiforge/urbi,aldebaran/urbi,urbiforge/urbi