GDB server port cannot be set via command line

[lukasauer]

As mentioned in the title, the GDB server port cannot be set with a command line parameter. Specifically, I tried it with ./main -ietiss.ini -p gdbserver --plugin.gdbserver.port 1234. The output from ETISS looks good, however GDB times out when trying to connect to the non-standard port. Connecting to the standard port (2222) works, meaning that the command line parameter got ignored.

ETISS: Info:   Adding Plugin gdbserver

ETISS: Info: Plugin "gdbserver" loaded via library interface "ETISSINCLUDED"

ETISS: Info: plugin.gdbserver.port written from command line
               options[plugin.gdbserver.port] = 1234