spawnd: reorganized code to eliminate duplicate get_core_id() call.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

diff --git a/usr/spawnd/main.c b/usr/spawnd/main.c
index 5abf90d..321edf4 100644 (file)
--- a/usr/spawnd/main.c
+++ b/usr/spawnd/main.c
@@ -102,13 +102,11 @@ int main(int argc, const char *argv[])
 {
     errval_t err;
 
-    printf("spawnd.%u up.\n", get_my_core_id());
+    my_core_id = disp_get_core_id();
 
+    printf("spawnd.%u up.\n", my_core_id);
 
     vfs_init();
-    
-    my_core_id = disp_get_core_id();
-
 
     // read in the bootmodules file so that we know what to start
     get_bootmodules();