tree 259e2e7a2b22e5e3ae0af8adf4d2c5ae681007b4
parent ebe130f92571a767ebc4c3100eb181296ed4da91
author Bugfix <mg@henning-ullrich.de> 1532434078 +0200
committer Zesstra <zesstra@zesstra.de> 1532435280 +0200

Kommentar ueber die Verwendung von destruct()

destruct() sollte nur im Fehlerfall verwendet werden und nicht, wenn remove() das Zerstoeren verweigert. Letzteres koennte seinen Grund haben.

Change-Id: Ie1cca244c2c153c613ab1a6f16d74deec513e0da