spawnd: reorganized code to eliminate duplicate get_core_id() call.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 17 Feb 2015 16:16:28 +0000 (17:16 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 17 Feb 2015 16:16:28 +0000 (17:16 +0100)
commit0caefb3604e56592240a39262e1f759ae6e0e816
treebc9078a65a7550c712963c7761d00ec1cafed094
parent480db245e901f102aa380cd46e706a74d579c9ff
spawnd: reorganized code to eliminate duplicate get_core_id() call.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
usr/spawnd/main.c