From: Erik Andresen <erik@vontaene.de>
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/?p=ros_wild_thumper.git;a=commitdiff_plain;h=563871afdc06e5e917fe7b92d6f4745903cd4400;hp=563871afdc06e5e917fe7b92d6f4745903cd4400

move_base: don't launch mapserver if nomap is set
---