Aleksander Machniak
2012-09-21 e695162ef76054050e4181e4d28f28cf1981386b
plugins/managesieve/config.inc.php.dist
@@ -1,7 +1,8 @@
<?php
// managesieve server port
$rcmail_config['managesieve_port'] = 2000;
// managesieve server port. When empty the port will be determined automatically
// using getservbyname() function, with 4190 as a fallback.
$rcmail_config['managesieve_port'] = null;
// managesieve server address, default is localhost.
// Replacement variables supported in host name: