static function dispatch( $cgi = null, $session_options = -1, $output = '' ) { if( $session_options == -1 ) $session_options = cgi_request::$DEFAULT_SESSION_OPTIONS; $n = new dispatcher( $output ); return $n->dispatch_cgi( $cgi, $session_options ); }