diff options
author | Neal H. Walfield <neal@gnu.org> | 2008-11-14 16:11:34 +0100 |
---|---|---|
committer | Neal H. Walfield <neal@gnu.org> | 2008-11-14 16:11:34 +0100 |
commit | 0fafa9acc16eebd2b08b31be286797a59c2b260a (patch) | |
tree | 2e51b06deec99b367ac2b7c3f7f8342fd34ca760 /viengoos/activity.c | |
parent | 4cb0b81ebd2cf2353bfcee32fcbd5bf40cf7aa8a (diff) |
Dump the current statistics whenever an activity is destroyed.
2008-11-14 Neal H. Walfield <neal@gnu.org>
* activity.c (activity_destroy): Dump the current statistics
whenever an activity is destroyed.
Diffstat (limited to 'viengoos/activity.c')
-rw-r--r-- | viengoos/activity.c | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/viengoos/activity.c b/viengoos/activity.c index 12a4320..6670670 100644 --- a/viengoos/activity.c +++ b/viengoos/activity.c @@ -81,23 +81,23 @@ activity_destroy (struct activity *activity, struct activity *victim) assert (object_type ((struct object *) activity) == cap_activity_control); assert (object_type ((struct object *) victim) == cap_activity_control); - /* We should never destroy the root activity. */ - if (! victim->parent) - { - assert (victim == root_activity); - profile_stats_dump (); - debug (0, "" + profile_stats_dump (); + debug (0, "" #ifdef NCHECK - "NCHECK " + "NCHECK " #endif #ifdef NDEBUG - "NDEBUG " + "NDEBUG " #endif #ifdef DEBUG_ELIDE - "DEBUG_ELIDE=%d", DEBUG_ELIDE + 0 + "DEBUG_ELIDE=%d", DEBUG_ELIDE + 0 #endif ); + /* We should never destroy the root activity. */ + if (! victim->parent) + { + assert (victim == root_activity); panic ("Request to destroy root activity"); } |