--- rpl/ChangeLog 2012/05/14 19:30:02 1.116 +++ rpl/ChangeLog 2012/05/18 09:30:31 1.117 @@ -1,4 +1,7 @@ * Fri Apr 13 2012 BERTRAND Joël rpl-4.1.8 (RPL/2) +- when RPL/2 process catchs RPL/SIGTERM, it tries to stop without calling +RPL/SIGALARM. In particular, it runs ATEXIT function if it is available; +- signal handlers are fixed to avoid spurious and very rare deadlocks; - pari is upgraded; - force CFLAGS for tools/file (-O2 -g) to avoid mmap() error; - giac, gmp and mpfr have been upgraded.