RIOT-OS/RIOT — pull request #1374 by OlegHahm (2014-07-06 21:03:15+00:00)
Title: core: harmonizes the data type for the process ID

Instead of using arbitrary integer types use pid_t as provided by the
toolchain.

Closes #210.