'Return the port number to connect to.
This Gmail implementation first checks for the usual IMAP settings
and falls back to 993 if nothing is specified.'

def getport(self):

    port = super(GmailRepository, self).getport()
    if (port is None):
        return 993
    else:
        return port
