Changes in kernel/generic/src/proc/program.c [bfe43d5:96b02eb9] in mainline

File:

• kernel/generic/src/proc/program.c (modified) (2 diffs)

kernel/generic/src/proc/program.c

@@ -171 +171 @@
         void *loader = program_loader;
         if (!loader) {
-                as_destroy(as);
                 printf("Cannot spawn loader as none was registered\n");
                 return ENOENT;
@@ -180 +179 @@
         if (rc != EE_OK) {
                 as_destroy(as);
-                printf("Cannot spawn loader (%s)\n", elf_error(rc));
                 return ENOENT;
         }