"edit server" fields
This issue was created automatically from an original Mantis Issue. Further discussion may take place here.
When you add a new server ("configure new server"), you can set the host and port. However, when you "edit server", you can only change "execute external command". Shouldn't you be able to change the host and port here?