Feature request: support custom control port about bore

[bolshoytoster]

@mantou132 you can change the constant in src/shared.rs:

bore/src/shared.rs

Lines 13 to 15 in 2d0dcf9

	/// TCP port used for control connections with the server.
	pub const CONTROL_PORT: u16 = 7835;

I could make it variable, probably through a command line option if there's no reason it can't be changed @ekzhang.

[ekzhang]

Why would you change the control port to 443?

I would err on the side of strong conventions if there's no good reason to change or configure something.

[hkcomori]

I want this feature too.
Currently, bore cannot be used in a network where the control port is blocked.
I want to avoid this by choosing a port that is less restrictive (eg 443).

[bolshoytoster]

@hkcomori as I suggested, if you don't mind compiling it yourself, you can change the CONTROL_PORT constant.

bore/src/shared.rs

Lines 16 to 18 in 9cd43f4

	/// TCP port used for control connections with the server.
	pub const CONTROL_PORT: u16 = 7835;