> 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/[email protected]/msg27269.html --Florian _______________________________________________ fossil-users mailing list [email protected] http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users
