static function fini($init_string, $base, $blockerr)
{
+ return (sprintf('@BEGIN@ %s window.onbeforeunload = null; window.onunload = null; document.location.assign("%sindex.php"); @END@', ($blockerr ? 'xstm.stop(); ' : ''), $base));
return ("");
}
return new Transport_iframe();
}
}
+ static function gettype($transp)
+ {
+ if ($transp == 'xhr' || $transp == 'htmlfile') {
+ return "Transport_".$transp;
+ }
+ else {
+ return 'Transport_iframe';
+ }
+ }
}
?>
\ No newline at end of file