If I try to specify a non standard port using "myserver:2143" I get an "Error while Opening store imap". Removing the port number makes the message go away.

Is this a bug or is there another way to specify an alternate port number?