if(isset($_POST['global'][$id]))
$filter->set_global_data($id,$_POST['global'][$id]);
$filter->rules[0]->sql_store(get_user_id(),0);
+ $philter->write_procmailrc($filter->to_string(), get_filename());
}
- if(isset($_POST['emails'])) // FORM emails
+ if(isset($_POST['emails'])) { // FORM emails
if(!$mail_pool->handle_form())
echo "<p style=\"color:red;\">".$philter->error()."</p>\n";
+ $philter->write_procmailrc($filter->to_string(), get_filename());
+ }
}
?>
<div class="rubrique"><?php i18n('global_title'); ?></div>