Thank you! Yes, I left a comment to this effect, that known global objects should be deleted before calling exit.
I somewhat suspect nobody want to touch that code, not even with a 10 ft pole :)
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Use REPLY-ALL to reply to list
To unsubscribe from the XROOTD-DEV list, click the following link:
https://listserv.slac.stanford.edu/cgi-bin/wa?SUBED1=XROOTD-DEV&A=1