Thomas Bruederli
2012-09-23 0c144b98a417d50b9c073ae3931fdad47390f1f7
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: