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: Resource pools are now named.

---
 lib/resource.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'lib/resource.c')

diff --git a/lib/resource.c b/lib/resource.c
index fe879cf..ce0ba14 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);
 }
 
-- 
cgit v1.2.3