tree 2f4579698d08b90ca845f797a1c3d88b6c6bdea1
parent cc6069745bb42aeb14cdcf517332ac79292289bc
author Zesstra <zesstra@zesstra.de> 1578955108 +0100
committer MG Mud User <mud@mg.mud.de> 1578955108 +0100

remove() eingebaut.

Auch der INETD darf sich ruhig kontrolliert entfernen lassen
statt nur hart per destruct. Ausserdem sollte beim Entladen
die aktuelle Hostliste geschrieben/gedumpt werden.

Allerdings benoetigt es nun fuer das Entladen per remove()
EM+-Rechte.

Change-Id: I6b9701b02ef26234ec81df688d6d5e93f7758bce