console-server: -P/--port.
console-server: -P/--port.

	* src/console-server.cc (--period): Don't use -P, it shadows
	the one of --port.
	(arg_exps): Remove, no longer used.

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