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/resource.c | |
| parent | d5417b379f05541418fb4f1ac87100ba8106b0c6 (diff) | |
Resource pools are now named.
Diffstat (limited to 'lib/resource.c')
| -rw-r--r-- | lib/resource.c | 6 |
1 files changed, 4 insertions, 2 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); } |