No spaces allowed in robot's name?

VerifiableRobotics / LTLMoP

A toolkit for designing and implementing LTL-based task specifications.

http://ltlmop.github.io

GNU General Public License v3.0

56 stars 69 forks source link

Closed spmaniato closed 12 years ago

spmaniato commented 12 years ago

It seems that spaces in a new robot's name result in bad behavior.