diff options
| author | Benjamin Paassen <bpaassen@techfak.uni-bielefeld.de> | 2015-02-11 17:25:35 +0100 |
|---|---|---|
| committer | Benjamin Paassen <bpaassen@techfak.uni-bielefeld.de> | 2015-02-11 17:25:35 +0100 |
| commit | 20c7aa703bf0be2744f1578d4e6c2044c15a51c0 (patch) | |
| tree | 23b9753ae7c35f5be86a032a7c2e0bbe15a15f42 /clean.sh | |
| parent | 928d989aef13e72064f31e3d6cad64f46c56bfdc (diff) | |
Added "unmanage" function which removes managed objects from the Manager in the case their destructor is called (e.g. because an exception is called in the constructor).
Diffstat (limited to 'clean.sh')
0 files changed, 0 insertions, 0 deletions