diff options
author | neal <neal> | 2008-06-22 09:50:34 +0000 |
---|---|---|
committer | neal <neal> | 2008-06-22 09:50:34 +0000 |
commit | e5d12328cea29f3f870ede85f2218e588355661a (patch) | |
tree | ac03d165013ad471a0e283253a1824f4d27f279c /viengoos/activity.c | |
parent | c81b34a273d06c460c4e8adaa780c85026ac0177 (diff) |
2008-06-22 Neal H. Walfield <neal@gnu.org>
* activity.c: Include "profile.h".
(activity_destroy): If ACTIVITY is the root activity, dump the
profile statistics before panicking.
Diffstat (limited to 'viengoos/activity.c')
-rw-r--r-- | viengoos/activity.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/viengoos/activity.c b/viengoos/activity.c index 3d2b7bd..9cad063 100644 --- a/viengoos/activity.c +++ b/viengoos/activity.c @@ -24,6 +24,7 @@ #include "activity.h" #include "object.h" +#include "profile.h" struct activity *root_activity; @@ -78,6 +79,7 @@ activity_destroy (struct activity *activity, struct activity *victim) if (! victim->parent) { assert (victim == root_activity); + profile_stats_dump (); panic ("Request to destroy root activity"); } |