PR2/pr2_robot — pull request #223 by felix-kolbe (2013-04-03 16:29:32+00:00)
Title: Handle comma separated decimals in mpstat output

Workaround replacing commas resulting from a German like locale with dots. Previously given message: "mpstat Exception: invalid literal for float(): 0,00"

Actually using some locale setting might be better, but I have no time and hardware to check side effects, and this workaround should be free of such.