Changes in kernel/generic/src/proc/program.c [aafed15:ca21f1e2] in mainline

File:

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

kernel/generic/src/proc/program.c

@@ -150 +150 @@
         prg->loader_status = elf_load((elf_header_t *) image_addr, as);
         if (prg->loader_status != EE_OK) {
-                as_destroy(as);
+                as_release(as);
                 prg->task = NULL;
                 prg->main_thread = NULL;
@@ -176 +176 @@
         void *loader = program_loader;
         if (!loader) {
-                as_destroy(as);
+                as_release(as);
                 log(LF_OTHER, LVL_ERROR,
                     "Cannot spawn loader as none was registered");
@@ -184 +184 @@
         prg->loader_status = elf_load((elf_header_t *) program_loader, as);
         if (prg->loader_status != EE_OK) {
-                as_destroy(as);
+                as_release(as);
                 log(LF_OTHER, LVL_ERROR, "Cannot spawn loader (%s)",
                     elf_error(prg->loader_status));