From 563871afdc06e5e917fe7b92d6f4745903cd4400 Mon Sep 17 00:00:00 2001 From: Erik Andresen Date: Tue, 22 Sep 2015 19:46:02 +0200 Subject: [PATCH 1/1] move_base: don't launch mapserver if nomap is set --- launch/move_base.launch | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/launch/move_base.launch b/launch/move_base.launch index 441dbea..ad30795 100644 --- a/launch/move_base.launch +++ b/launch/move_base.launch @@ -4,11 +4,11 @@ - - - + + + -- 2.39.2