Fresco/Berlin/server server.cc,1.75,1.76

Update of /cvs/fresco/Fresco/Berlin/server
In directory purcel:/tmp/cvs-serv5518/Berlin/server

Modified Files:
	server.cc 
Log Message:
Remove Prague's poor man's profiler since it is not really useful and
is the only user of the huge and ifdefy ntree.hh. Closes bug282.


Index: server.cc
===================================================================
RCS file: /cvs/fresco/Fresco/Berlin/server/server.cc,v
retrieving revision 1.75
retrieving revision 1.76
diff -u -d -r1.75 -r1.76
--- server.cc	3 Nov 2003 17:53:52 -0000	1.75
+++ server.cc	3 Nov 2003 20:45:42 -0000	1.76
@@ -23,7 +23,6 @@
 
 #include <Prague/Sys/Tracer.hh>
 #include <Prague/Sys/Signal.hh>
-#include <Prague/Sys/Profiler.hh>
 #include <Prague/Sys/Path.hh>
 #include <Prague/Sys/Fork.hh>
 #include <Prague/Sys/GetOpt.hh>
@@ -114,7 +113,7 @@
               }
               return;
             case Signal::interrupt: break;
-            case Signal::hangup: Profiler::dump(std::cerr); break;
+            case Signal::hangup:
             case Signal::abort:
             case Signal::segfault:
               {