00001 // -*- mode: c++; c-indent-level: 4; c++-member-init-indent: 8; comment-column: 35; -*- 00002 00003 //----------------------------------------------------------------------------- 00004 // eoCtrlCContinue.cpp 00005 // (c) EEAAX 1996 - GeNeura Team, 1998 - Maarten Keijzer 2000 00006 /* 00007 This library is free software; you can redistribute it and/or 00008 modify it under the terms of the GNU Lesser General Public 00009 License as published by the Free Software Foundation; either 00010 version 2 of the License, or (at your option) any later version. 00011 00012 This library is distributed in the hope that it will be useful, 00013 but WITHOUT ANY WARRANTY; without even the implied warranty of 00014 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 00015 Lesser General Public License for more details. 00016 00017 You should have received a copy of the GNU Lesser General Public 00018 License along with this library; if not, write to the Free Software 00019 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA 00020 00021 Contact: todos@geneura.ugr.es, http://geneura.ugr.es 00022 Marc.Schoenauer@polytechnique.fr 00023 mak@dhi.dk 00024 */ 00025 //----------------------------------------------------------------------------- 00026 #ifdef _MSC_VER 00027 // to avoid long name warnings 00028 #pragma warning(disable:4786) 00029 #endif 00030 00031 #include <signal.h> 00032 #include <iostream> 00033 00034 // --- Global variables - but don't know what else to do - MS --- 00035 bool arret_demande = false; 00036 bool existCtrlCContinue = false; 00037 00038 // 00039 // The signal handler - installed in the eoCtrlCContinue Ctor 00040 // 00041 void signal_handler( int sig ) 00042 // --------------------------- 00043 { 00044 // --- On veut la paix, jusqu'a la fin --- 00045 #ifndef _WINDOWS 00046 #ifdef SIGQUIT 00047 signal( SIGINT, SIG_IGN ); 00048 signal( SIGQUIT, SIG_IGN ); 00049 std::cerr << "Ctrl C entered ... closing down" << std::endl ; 00050 arret_demande = true; 00051 #endif 00052 #endif 00053 } 00054