Changes in kernel/generic/src/ipc/sysipc.c [6ff23ff:931afbc] in mainline

File:

• kernel/generic/src/ipc/sysipc.c (modified) (3 diffs)

kernel/generic/src/ipc/sysipc.c

@@ -552 +552 @@
                 ipc_answer(&TASK->answerbox, call);
 
-        /* Republish the capability so that the call does not get lost. */
-        cap_publish(TASK, chandle, ckobj);
+        cap_free(TASK, chandle);
+        kobject_put(ckobj);
 
         if (pkobj)
@@ -642 +642 @@
 
         call_t *call = kobj->call;
+        assert(!(call->flags & IPC_CALL_ANSWERED));
 
         ipc_data_t saved_data;
@@ -688 +689 @@
 
         call_t *call = kobj->call;
+        assert(!(call->flags & IPC_CALL_ANSWERED));
 
         ipc_data_t saved_data;