From ed68a5c6a4da7050995934adb07612dea1cf6644 Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Tue, 26 May 1998 21:37:37 +0000
Subject: [PATCH] Resource pools are now named.

---
 lib/resource.c | 6 ++++--
 lib/resource.h | 2 +-
 nest/rt-attr.c | 2 +-
 3 files changed, 6 insertions(+), 4 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 */
diff --git a/nest/rt-attr.c b/nest/rt-attr.c
index a5ee77cb..e6676252 100644
--- a/nest/rt-attr.c
+++ b/nest/rt-attr.c
@@ -138,6 +138,6 @@ rta_dump_all(void)
 void
 rta_init(void)
 {
-  rta_pool = rp_new(&root_pool);
+  rta_pool = rp_new(&root_pool, "Attributes");
   rta_slab = sl_new(rta_pool, sizeof(rta));
 }