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

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

Modified Files:
	server.cc 
Log Message:
Improve Signal class as proposed in bug280. Had to touch a couple of other
files, updating the signal names to their non-abbrevated versions this
patch introduces.


Index: server.cc
===================================================================
RCS file: /cvs/fresco/Fresco/Berlin/server/server.cc,v
retrieving revision 1.74
retrieving revision 1.75
diff -u -d -r1.74 -r1.75
--- server.cc	31 Oct 2003 22:33:08 -0000	1.74
+++ server.cc	3 Nov 2003 17:53:52 -0000	1.75
@@ -91,7 +91,7 @@
       {
           switch (signo)
           {
-            case Signal::usr1:
+            case Signal::user1:
               if (debugger)
               {
                   Logger::log(Logger::loader)
@@ -106,7 +106,7 @@
                     << "command line. Not entering debug mode."
                     << std::endl;
               return;
-            case Signal::usr2:
+            case Signal::user2:
               if (Console::instance())
               {
                   Console::instance()->activate_autoplay();
@@ -116,7 +116,7 @@
             case Signal::interrupt: break;
             case Signal::hangup: Profiler::dump(std::cerr); break;
             case Signal::abort:
-            case Signal::segv:
+            case Signal::segfault:
               {
                   std::string output = "server.log";
                   std::ofstream ofs(output.c_str());
@@ -187,7 +187,7 @@
       child->suicide_on_signal(Signal::interrupt);
       child->suicide_on_signal(Signal::quit);
       child->suicide_on_signal(Signal::abort);
-      child->suicide_on_signal(Signal::segv);
+      child->suicide_on_signal(Signal::segfault);
   }
 } // namespace
 
@@ -205,10 +205,10 @@
 
     Prague::Semaphore sem;
     Dump *dump = new Dump(sem);
-    Signal::set(Signal::usr1, dump);
-    Signal::set(Signal::usr2, dump);
+    Signal::set(Signal::user1, dump);
+    Signal::set(Signal::user2, dump);
     Signal::set(Signal::abort, dump);
-    Signal::set(Signal::segv, dump);
+    Signal::set(Signal::segfault, dump);
     Signal::set(Signal::hangup, dump);
     Signal::set(Signal::interrupt, dump);