pop_exception_handler


Description:

public void pop_exception_handler ()

Remove the last ExceptionHandler previously pushed to this with push_exception_handler.

Parameters:

this

a Context