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 ++++--
 lib/resource.h | 2 +-
 2 files changed, 5 insertions(+), 3 deletions(-)

(limited to 'lib')

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 */
-- 
cgit v1.2.3