aseba-community/aseba — pull request #311 by vaussard (2014-04-14 11:10:10+00:00)
Title: Fix issue 310

The first commit is not strictly needed, but it is a better practice. The real fix is inside the second commit.