From e87054f0d33bcf06cbc59e755ebcc5317370da7f Mon Sep 17 00:00:00 2001
From: Oleg Kalachev <okalachev@gmail.com>
Date: Tue, 11 Sep 2018 04:35:34 +0300
Subject: [PATCH] Respawn web server on failure

---
 clever/launch/clever.launch | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/clever/launch/clever.launch b/clever/launch/clever.launch
index ea67aa60..1bcc3013 100644
--- a/clever/launch/clever.launch
+++ b/clever/launch/clever.launch
@@ -20,7 +20,7 @@
 
 
     <!-- web server, serving /home/pi/catkin_ws/src/clever/clever/static -->
-    <node name="web_server" pkg="clever" type="monkey" output="screen" if="$(arg web_server)"/>
+    <node name="web_server" pkg="clever" type="monkey" output="screen" if="$(arg web_server)" respawn="true" respawn_delay="5"/>
 
     <!-- web video server -->
     <node name="web_video_server" pkg="web_video_server" type="web_video_server" if="$(arg web_video_server)" required="false" respawn="true" respawn_delay="5"/>