> There's been some changes to fossil_exit() in the meantime, I'll check > these, and report back here.
I was wrong, the changes were to fossil_fatal() and fossil_panic(), and not to fossil_exit(). The current tip version of Fossil still exhibits the behavior summarized here: https://www.mail-archive.com/fossil-users@lists.fossil-scm.org/msg27269.html --Florian _______________________________________________ fossil-users mailing list fossil-users@lists.fossil-scm.org http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users
