| commit | 543430b2beb49403a9b9557084a15529071deb1e | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Tue Apr 24 16:52:51 2018 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Tue Apr 24 16:52:51 2018 +0200 |
| tree | 134ee6aca417e99d457dca648ffa42a7433a42e0 | |
| parent | 3fa5bbb6f5b436c1cdf1fde7dd64e13c63e65fb6 [diff] |
Fix: Instantiate the same NS without emulator restart 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>