index 197d94ab2922e6a44032f344e1249c3d5cebcb32..691faf43e0ed342224067e82bcc9f69676258247 100644 (file)
*/
function parse($script)
{
+ $script = preg_replace("/^###GOSA/","",$script);
+
$this->registeredExtensions_ = array();
$this->status_text = "incomplete";
$this->script_ = $script;
function get_sieve_script()
{
- return($this->tree_->get_sieve_script());
+ return("###GOSA\n".$this->tree_->get_sieve_script());
}