From 23dc75bb912358e76258de7ef0d840103eab2fa3 Mon Sep 17 00:00:00 2001
From: Oleg Kalachev <okalachev@gmail.com>
Date: Wed, 29 Nov 2017 19:27:00 +0300
Subject: [PATCH] Auto respawn for web_video_server

---
 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 57352d61..3caa15c0 100644
--- a/clever/launch/clever.launch
+++ b/clever/launch/clever.launch
@@ -24,7 +24,7 @@
     <include file="$(find clever)/launch/web_server.launch" if="$(arg web_server)"/>
 
     <!-- web video server -->
-    <node name="web_video_server" pkg="web_video_server" type="web_video_server" if="$(arg web_video_server)"/>
+    <node name="web_video_server" pkg="web_video_server" type="web_video_server" if="$(arg web_video_server)" respawn="true" respawn_delay="5"/>
 
     <include file="$(find clever)/launch/aruco.launch" if="$(arg aruco)"/>