From: Sebastian Rockel <sebastianrockel@go...> - 2009-12-01 19:16:19
I am trying to use grid maps (.gpm) produced by pmaptest with
playernav (player-3.1.0-svn) to do SLAM.
To update the map within playernav the 'View' -> 'Refresh map' doesn't
work, nothing happens.
I have to restart playernav and the player server running the
'mapfile' driver to get the new map displayed.
Thanks for any ideas, is it a bug?