[freenos] r417 committed - Fix for proc_destroy(): cannot delete a running process.

  • From: freenos@xxxxxxxxxxxxxx
  • To: freenos@xxxxxxxxxxxxx
  • Date: Fri, 22 Oct 2010 22:10:55 +0000

Revision: 417
Author: nieklinnenbank
Date: Fri Oct 22 15:10:20 2010
Log: Fix for proc_destroy(): cannot delete a running process.

http://code.google.com/p/freenos/source/detail?r=417

Modified:
 /branches/scratch/system/process.c

=======================================
--- /branches/scratch/system/process.c  Fri Oct 22 15:05:50 2010
+++ /branches/scratch/system/process.c  Fri Oct 22 15:10:20 2010
@@ -163,7 +163,7 @@
      * are able to schedule anything yet. Another process simply needs to
      * do the dirty work while safely running under its own page_dir.
      */
-    if (smp_cpu()->proc == p)
+    if (smp_cpu()->proc == p || p->flags & PROC_RUNNING)
     {
        return -EINVAL;
     }

Other related posts:

  • » [freenos] r417 committed - Fix for proc_destroy(): cannot delete a running process. - freenos