From 6d0ca40aae2ec2f8327f0dbcf26f322a2752a385 Mon Sep 17 00:00:00 2001
From: Atlante45 <clement.brisset@gmail.com>
Date: Fri, 8 May 2015 18:21:42 +0200
Subject: [PATCH] Set pointer to nullptr after delete

---
 interface/src/devices/DeviceTracker.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/interface/src/devices/DeviceTracker.cpp b/interface/src/devices/DeviceTracker.cpp
index aa0e68ff47..2a956a42de 100644
--- a/interface/src/devices/DeviceTracker.cpp
+++ b/interface/src/devices/DeviceTracker.cpp
@@ -70,6 +70,7 @@ void DeviceTracker::destroyDevice(const Name& name) {
     DeviceTracker::ID deviceID = getDeviceID(name);
     if (deviceID != INVALID_DEVICE) {
         delete Singleton::get()->_devicesVector[getDeviceID(name)];
+        Singleton::get()->_devicesVector[getDeviceID(name)] = nullptr;
     }
 }