00001 #ifndef SERVER_EXIT_HANDLER_H 00002 #define SERVER_EXIT_HANDLER_H 00003 00004 #include "dis.hxx" 00005 00006 class ServerExitHandler : public DimExitHandler 00007 { 00008 public : 00009 00010 ServerExitHandler(); 00011 00012 private : 00013 00014 void exitHandler( int code ); 00015 }; 00016 00017 #endif