Fix: Instantiate the same NS without emulator restart 24/6024/1
authorpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 24 Apr 2018 14:52:51 +0000 (16:52 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 24 Apr 2018 14:52:51 +0000 (16:52 +0200)
Fixes a bug that causes the emulator to not properly clean
its internal data structures when a NS is deleted. This could
cause errors when a NS should be instantiated again, without
restarting the emulator.

Change-Id: I8a0be1f28b889f2c01e7ef859acd6bdcc35b8b9d
Signed-off-by: peusterm <manuel.peuster@uni-paderborn.de>

No differences found