$OpenBSD: patch-plugins_managesieve_config_inc_php_dist,v 1.2 2013/01/26 14:36:16 sthen Exp $
--- plugins/managesieve/config.inc.php.dist.orig	Fri Jan 25 17:00:48 2013
+++ plugins/managesieve/config.inc.php.dist	Sat Jan 26 14:27:03 2013
@@ -1,7 +1,8 @@
 <?php
 
 // managesieve server port
-$rcmail_config['managesieve_port'] = 2000;
+// 4190: IETF standard. 2000: deprecated but in common use.
+$rcmail_config['managesieve_port'] = 4190;
 
 // managesieve server address, default is localhost.
 // Replacement variables supported in host name:
