From: Erik Andresen Date: Tue, 22 Sep 2015 17:46:02 +0000 (+0200) Subject: move_base: don't launch mapserver if nomap is set X-Git-Url: https://defiant.homedns.org/gitweb/?a=commitdiff_plain;h=563871afdc06e5e917fe7b92d6f4745903cd4400;p=ros_wild_thumper.git move_base: don't launch mapserver if nomap is set --- 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 @@ - - - + + +