Jeroen Demeyer on Wed, 24 Sep 2008 12:06:25 +0200 |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
Proposal |
Hello list, Seeing how trap(,quit()); now does not work at all anymore, I propose the following, which is easy to do and would solve the problem of the parent message: * change pari_err to call default_exception_handler() for every numerr, also talker2. * check (numerr == talker2) in gp_exception_handler. * add a new GP_DATA->flags NONINTERACTIVE and a matching command line option -n or --noninteractive. * add a new exit_exception_handler which simply calls exit(1) (or exit(numerr) if you plan to fix numerr codes). * in src/gp/gp.c:main() set default_exception_handler to either gp_exception_handler or exit_exception_handler, according to GP_DATA->flags & NONINTERACTIVE. What do you think of this? Cheers, Jeroen.