185
@verb #9239:"handle_uncaught_error handle_task_timeout" this none this rxdo #7788
@program #9239:"handle_uncaught_error handle_task_timeout" this none this
if (!$perm_utils:is_called_from($login, verb) && !$perm_utils:is_called_from(#0, verb))
  raise(E_PERM)
endif
return this.owner:handle_uncaught_error(@args)
"Last modified by manta (#7165) on Wed Aug 12 13:11:01 1998 EDT."
.

0