RIOT-OS/RIOT — pull request #707 by LudwigOrtmann (2014-02-15 08:15:30+00:00)
Title: fix shell use of strtok_r

pass the pointer to the remaining tokens to handler instead