Re: [Kimchi-devel] [PATCH] Github issue #300: hardcoded server port fix