X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fmain.c;h=f9c4e83b7bdfed59274591ab8568427a3893aabf;hb=4a73877b4d56caed03d383fb4d38347a9774046f;hp=b09a200a66bcf6f23215f3fcad058b9270e637fe;hpb=bc51900253384a031401ef7a68674e350dc8225f;p=pspp-builds.git diff --git a/src/main.c b/src/main.c index b09a200a..f9c4e83b 100644 --- a/src/main.c +++ b/src/main.c @@ -14,8 +14,8 @@ You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software - Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA - 02111-1307, USA. */ + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA + 02110-1301, USA. */ #include #include @@ -25,7 +25,7 @@ #include "command.h" #include "dictionary.h" #include "error.h" -#include "getline.h" +#include "getl.h" #include "glob.h" #include "lexer.h" #include "output.h" @@ -33,6 +33,9 @@ #include "var.h" #include +#include "gettext.h" +#define _(msgid) gettext (msgid) + #include #include "debug-print.h" @@ -54,17 +57,26 @@ char curdate[12]; /* If a segfault happens, issue a message to that effect and halt */ void bug_handler(int sig); +/* Handle quit/term/int signals */ +void interrupt_handler(int sig); + /* Whether we're dropping down to interactive mode immediately because we hit end-of-file unexpectedly (or whatever). */ int start_interactive; + + + + /* Program entry point. */ int main (int argc, char **argv) { + signal (SIGSEGV, bug_handler); - signal (SIGFPE, bug_handler); + signal (SIGFPE, bug_handler); + signal (SIGINT, interrupt_handler); gsl_set_error_handler_off(); @@ -199,3 +211,10 @@ bug_handler(int sig UNUSED) break; } } + + +void +interrupt_handler(int sig UNUSED) +{ + err_hcf(0); +}