From 539e92c084640854cfdf7068ed26693c8a5a8340 Mon Sep 17 00:00:00 2001
From: Joakim Eriksson <joakime@sics.se>
Date: Tue, 12 May 2015 11:11:31 +0200
Subject: [PATCH] Made rest-engine handle multiple init without dropping
 resources.

---
 apps/rest-engine/rest-engine.c | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/apps/rest-engine/rest-engine.c b/apps/rest-engine/rest-engine.c
index f74d2a9a9..67ac232a2 100644
--- a/apps/rest-engine/rest-engine.c
+++ b/apps/rest-engine/rest-engine.c
@@ -70,6 +70,15 @@ LIST(restful_periodic_services);
 void
 rest_init_engine(void)
 {
+  /* avoid initializing twice */
+  static uint8_t initialized = 0;
+
+  if(initialized) {
+    PRINTF("REST engine process already running - double initialization?\n");
+    return;
+  }
+  initialized = 1;
+
   list_init(restful_services);
 
   REST.set_service_callback(rest_invoke_restful_service);