Correctly destroy OS_Process (cosmetic fix)

diff --git a/src/arm/arm_api.c b/src/arm/arm_api.c
index fd49a18a5aaded165b29a6005c44e51d37703636..aee9afb249136b502b47893751533cb1ad2b93d7 100644 (file)
--- a/src/arm/arm_api.c
+++ b/src/arm/arm_api.c
@@ -408,7 +408,7 @@ arm_service_report (void *cls, const struct GNUNET_SCHEDULER_TaskContext *tc)
   }
   if (pos->callback != NULL)
     pos->callback (pos->cls, GNUNET_ARM_PROCESS_STARTING);
-  GNUNET_free (proc);
+  GNUNET_OS_process_destroy (proc);
   GNUNET_free (pos);
 }