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 |
Remove the last ExceptionHandler previously pushed to this with push_exception_handler.
| this |
a Context |