index e182c94fddbfc973a94412b19e9b72f06bc63d10..29d45a9ac18cff7e786b2b4104ec86da1dcf89e9 100644 (file)
xml_set_object($this->parser, $this);
xml_set_element_handler($this->parser, "tag_open", "tag_close");
$this->parse($this->filename);
- if(session::is_set('plist')){
- session::un_set('plist');
- }
- if(session::is_set('plug')){
- session::un_set('plug');
- }
- if(isset($_GET['plug'])){
- unset($_GET['plug']);
- }
+# if(session::is_set('plist')){
+# session::un_set('plist');
+# }
+# if(session::is_set('plug')){
+# session::un_set('plug');
+# }
+# if(isset($_GET['plug'])){
+# unset($_GET['plug']);
+# }
}
}