RIOT-OS/RIOT — pull request #448 by LudwigOrtmann (2013-12-19 11:59:54+00:00)
Title: handle sigterm, inform about exit

resolves #445