From ce86552794fa9c7de45fd4d4897757ca893221fb Mon Sep 17 00:00:00 2001
From: Deomid Ryabkov <rojer@rojer.me>
Date: Tue, 21 May 2019 11:31:57 +0100
Subject: [PATCH] Fix serve_core.py when there are no tasks

---
 tools/serve_core/serve_core.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/serve_core/serve_core.py b/tools/serve_core/serve_core.py
index e8f0a60c4..8344a186c 100755
--- a/tools/serve_core/serve_core.py
+++ b/tools/serve_core/serve_core.py
@@ -75,6 +75,8 @@ def __init__(self, filename):
         if "freertos" in self._dump:
             print("Dump contains FreeRTOS task info")
             self.tasks = dict((t["h"], FreeRTOSTask(t)) for t in self._dump["freertos"]["tasks"])
+        else:
+            self.tasks = {}
         self.target_features = self._dump.get("target_features")
 
     def get_cur_task(self):