version 1.18, 2004/03/25 01:37:14 |
version 1.19, 2004/09/05 00:51:18 |
|
|
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.17 2004/03/11 03:32:46 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.18 2004/03/25 01:37:14 takayama Exp $ */ |
|
|
#include <stdio.h> |
#include <stdio.h> |
#include <setjmp.h> |
#include <setjmp.h> |
|
|
|
|
extern int Quiet; |
extern int Quiet; |
extern JMP_BUF EnvOfStackMachine; |
extern JMP_BUF EnvOfStackMachine; |
|
extern int Calling_ctrlC_hook; |
int Format=1; /* 1 : latex mode */ |
int Format=1; /* 1 : latex mode */ |
int OutputLimit_for_TeXmacs = (1024*10); |
int OutputLimit_for_TeXmacs = (1024*10); |
|
|
Line 142 main(int argc,char *argv[]) { |
|
Line 143 main(int argc,char *argv[]) { |
|
while(1) { |
while(1) { |
/* printp(sys); no prompt */ |
/* printp(sys); no prompt */ |
if (SETJMP(EnvOfStackMachine)) { |
if (SETJMP(EnvOfStackMachine)) { |
KSexecuteString(" ctrlC-hook "); /* Execute User Defined functions. */ |
if (!Calling_ctrlC_hook) { |
|
Calling_ctrlC_hook = 1; |
|
KSexecuteString(" ctrlC-hook "); /* Execute User Defined functions. */ |
|
} |
|
Calling_ctrlC_hook = 0; |
if (signal(SIGINT,SIG_IGN) != SIG_IGN) { |
if (signal(SIGINT,SIG_IGN) != SIG_IGN) { |
signal(SIGINT,ctrlC); |
signal(SIGINT,ctrlC); |
} |
} |