čt 15. 2. 2024 v 17:42 odesílatel <michael.christie@xxxxxxxxxx> napsal: > Why do you need this? Isn't this only called when the module is unloaded? > > We don't normally do this for that type of case in general. In the target > code alone we have lots of places we don't do this. > I don't really need this, it's just a matter of personal preference, we can drop this one. Maurizio