diff options
| author | Martin Mares <mj@ucw.cz> | 1998-05-26 21:37:37 +0000 |
|---|---|---|
| committer | Martin Mares <mj@ucw.cz> | 1998-05-26 21:37:37 +0000 |
| commit | ed68a5c6a4da7050995934adb07612dea1cf6644 (patch) | |
| tree | 2ab0c69f2555731bca5b851cd928c2a1de0183e1 /lib | |
| parent | d5417b379f05541418fb4f1ac87100ba8106b0c6 (diff) | |
Resource pools are now named.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/resource.c | 6 | ||||
| -rw-r--r-- | lib/resource.h | 2 |
2 files changed, 5 insertions, 3 deletions
diff --git a/lib/resource.c b/lib/resource.c index fe879cf6..ce0ba14b 100644 --- a/lib/resource.c +++ b/lib/resource.c @@ -15,6 +15,7 @@ struct pool { resource r; list inside; + char *name; }; static void pool_dump(resource *); @@ -32,7 +33,7 @@ pool root_pool; static int indent; pool * -rp_new(pool *p) +rp_new(pool *p, char *name) { pool *z = ralloc(p, &pool_class); init_list(&z->inside); @@ -60,7 +61,7 @@ pool_dump(resource *P) pool *p = (pool *) P; resource *r; - debug("\n"); + debug(" %s\n", p->name); indent += 3; WALK_LIST(r, p->inside) rdump(r); @@ -112,6 +113,7 @@ void resource_init(void) { root_pool.r.class = &pool_class; + root_pool.name = "Root"; init_list(&root_pool.inside); } diff --git a/lib/resource.h b/lib/resource.h index 03c083a5..5c8d863d 100644 --- a/lib/resource.h +++ b/lib/resource.h @@ -32,7 +32,7 @@ struct resclass { typedef struct pool pool; void resource_init(void); -pool *rp_new(pool *); /* Create new pool */ +pool *rp_new(pool *, char *); /* Create new pool */ void rp_free(pool *); /* Free everything in the pool */ void rfree(void *); /* Free single resource */ void rdump(void *); /* Dump to debug output */ |