don't need to set _db_level for _db_print any more.

diff --git a/src/tools.cc b/src/tools.cc
index 6867da0cb94e6a1a5c2952687b23409052be40f3..816a38f0ac348770a5b1a9d9a6a7c83a7c13422b 100644 (file)
--- a/src/tools.cc
+++ b/src/tools.cc
@@ -1,6 +1,6 @@
 
 /*
- * $Id: tools.cc,v 1.127 1997/10/26 02:35:40 wessels Exp $
+ * $Id: tools.cc,v 1.128 1997/10/30 18:37:08 wessels Exp $
  *
  * DEBUG: section 21    Misc Functions
  * AUTHOR: Harvest Derived
@@ -430,7 +430,6 @@ debug_trap(const char *message)
 {
     if (!opt_catch_signals)
        fatal_dump(message);
-    _db_level = 0;
     _db_print("WARNING: %s\n", message);
 }