option to specify https port