Reset deviceIndex in systemShutdown()
On a systemShutdown() call the deviceIndex is set to zero and
the deviceIndexLookup Map is cleared.
@@ -26,6 +26,8 @@ public class OcPlatform {
public void systemShutdown() {
OCMain.mainShutdown();
+ deviceIndex.set(0);
+ deviceIndexLookup.clear();
}
public void systemInit(OCMainInitHandler mainInitHandler) {
