Original bug ID: 7796 Reporter:@xavierleroy Assigned to:@xavierleroy Status: resolved (set by @xavierleroy on 2018-05-23T17:51:00Z) Resolution: fixed Priority: normal Severity: major Platform: x86-64 OS: Ubuntu Linux 16.04 Version: 4.07.0+dev/beta2/rc1/rc2 Target version: 4.07.0+dev/beta2/rc1/rc2 Fixed in version: 4.07.0+dev/beta2/rc1/rc2 Category: runtime system and C interface Related to:#7178#7253 Monitored by:@nojb@gasche@dbuenzli
When "c=1" is put in OCAMLRUNPARAM, text printed to standard output in an at_exit function ends up written twice to standard output.
I agree that caml_shutdown should run the at-exit functions. This is especially true if the OCaml code is embedded as a library in a larger program. I also think that we should not run the at-exit functions twice, and will propose a GPR for that.