original_string: public function exception_handler($ex) {
          // detect active db transactions, rollback and log as error
          abort_all_db_transactions();
  
          // some hacks might need a cleanup hook
          $this->session_cleanup($ex);
  
          // now let the plugin send the exception to client
          $this->send_error($ex);
  
          // not much else we can do now, add some logging later
          exit(1);
      }
code: public function exception_handler($ex) {
          // detect active db transactions, rollback and log as error
          abort_all_db_transactions();
  
          // some hacks might need a cleanup hook
          $this->session_cleanup($ex);
  
          // now let the plugin send the exception to client
          $this->send_error($ex);
  
          // not much else we can do now, add some logging later
          exit(1);
      }
code_tokens: public function exception_handler ( $ ex ) { // detect active db transactions, rollback and log as error abort_all_db_transactions ( ) ; // some hacks might need a cleanup hook $ this -> session_cleanup ( $ ex ) ; // now let the plugin send the exception to client $ this -> send_error ( $ ex ) ; // not much else we can do now, add some logging later exit ( 1 ) ; }
docstring: Specialised exception handler, we can not use the standard one because
  it can not just print html to output.
  
  @param exception $ex
  $uses exit
docstring_tokens: Specialised exception handler we can not use the standard one because it can not just print html to output .