index 38d252302e4085fb0cf8824305a85bc4ecd56a09..06d70a8c39e1a3203c2c030c6cd20978feba55ec 100644 (file)
$this -> dump_ = "";
$ends = array();
- if(!count($this->pap)){
-# $this->pap[] = new sieve_comment(NULL,preg_replace("/[^0-9]/","",microtime()),$this);
- }
+ $ends_complete_block = array();
+
foreach($this->pap as $key => $object){
if(is_object($object)){
- $end = $this->get_block_end($key,false);
+ $end = $this->get_block_end($key,false);
+ $end2 = $this->get_block_end($key);
+ if($end != $key && in_array(get_class($object),array("sieve_if"))){
+ $ends_complete_block[$end2] = $end2;
+ $this->dump_ .= "<div style='height:12px;'> </div>";
+ }
if(isset($ends[$key])){
$this->dump_ .= $block_indent_stop;
}
$ends[$end] = $end;
$this->dump_ .= $block_indent_start;
}
+
+ if(isset($ends_complete_block[$key])){
+ $this->dump_ .= "<div style='height:12px;'> </div>";
+ }
}
}