Suppress the IMAP port if it is the standard port.

diff --git a/v7/src/imail/imail-imap.scm b/v7/src/imail/imail-imap.scm
index 339647943b75d952c003c731ea7e05a09e79baae..c33089308430b46a9d3b90a7d0c473c3f72af8d7 100644 (file)
--- a/v7/src/imail/imail-imap.scm
+++ b/v7/src/imail/imail-imap.scm
@@ -1,6 +1,6 @@
 ;;; -*-Scheme-*-
 ;;;
-;;; $Id: imail-imap.scm,v 1.66 2000/05/22 03:37:00 cph Exp $
+;;; $Id: imail-imap.scm,v 1.67 2000/05/22 03:43:39 cph Exp $
 ;;;
 ;;; Copyright (c) 1999-2000 Massachusetts Institute of Technology
 ;;;
@@ -53,8 +53,9 @@
                 (url:encode-string user-id)
                 "@"
                 host
-                ":"
-                (number->string port)
+                (if (= port 143)
+                    ""
+                    (string-append ":" (number->string port)))
                 "/"
                 (url:encode-string mailbox)))