if(isset($_POST['filter_valid']) && $philter->is_advanced()) {
$philter->del_advanced();
to_main(get_user_id());
+ $PHILTER_HAS_TO_BE_WRITTEN=true;
}
if(isset($_POST['filter_cancel']) && $philter->is_advanced()) {
$mail_pool = new EmailPool(get_user_id());
$filter = new Filter(get_user_id());
+if(isset($PHILTER_HAS_TO_BE_WRITTEN) && $PHILTER_HAS_TO_BE_WRITTEN) {
+ unset($PHILTER_HAS_TO_BE_WRITTEN);
+ $philter->write_procmailrc($filter->to_string(), get_filename());
+}
+
if($philter->is_advanced())
require("include/form_filter.inc.php");
else