From 91774aff83c647e7f755537dca7e5b881ddfc1bb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9a=20Saviot?= <lea.saviot@numworks.com>
Date: Fri, 28 Sep 2018 16:54:11 +0200
Subject: [PATCH] [poincare] Escape case in Storage::destroyRecord

---
 ion/src/shared/storage.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ion/src/shared/storage.cpp b/ion/src/shared/storage.cpp
index 5e3365f3b..55c99c1a7 100644
--- a/ion/src/shared/storage.cpp
+++ b/ion/src/shared/storage.cpp
@@ -271,6 +271,9 @@ Storage::Record::ErrorStatus Storage::setValueOfRecord(Record record, Record::Da
 }
 
 void Storage::destroyRecord(Record record) {
+  if (record.isNull()) {
+    return;
+  }
   for (char * p : *this) {
     Record currentRecord(fullNameOfRecordStarting(p));
     if (record == currentRecord) {