move_base: don't launch mapserver if nomap is set
authorErik Andresen <erik@vontaene.de>
Tue, 22 Sep 2015 17:46:02 +0000 (19:46 +0200)
committerErik Andresen <erik@vontaene.de>
Tue, 22 Sep 2015 17:46:02 +0000 (19:46 +0200)
commit563871afdc06e5e917fe7b92d6f4745903cd4400
tree52d06c1c7beb1defed1e44e96d6760776c73a80f
parent6925d3469d5f22b6271ece74540c0a30a51942db
move_base: don't launch mapserver if nomap is set
launch/move_base.launch