version 1.12, 2001/10/09 01:36:21 |
version 1.13, 2001/12/25 02:39:04 |
|
|
* OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY |
* OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY |
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* $OpenXM: OpenXM_contrib2/asir2000/io/ox.c,v 1.11 2001/08/03 08:50:19 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/io/ox.c,v 1.12 2001/10/09 01:36:21 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
|
|
int ox_batch; |
int ox_batch; |
int ox_check=1; |
int ox_check=1; |
int ox_exchange_mathcap=1; |
int ox_exchange_mathcap=1; |
jmp_buf ox_env; |
JMP_BUF ox_env; |
|
|
MATHCAP my_mathcap; |
MATHCAP my_mathcap; |
|
|
Line 110 void ox_resetenv(char *s) |
|
Line 110 void ox_resetenv(char *s) |
|
cleanup_events(); |
cleanup_events(); |
#endif |
#endif |
fprintf(stderr,"%s\n",s); |
fprintf(stderr,"%s\n",s); |
longjmp(ox_env,1); |
LONGJMP(ox_env,1); |
} |
} |
|
|
static int available_cmo[] = { |
static int available_cmo[] = { |
Line 369 void end_critical() { |
|
Line 369 void end_critical() { |
|
|
|
void ox_usr1_handler(int sig) |
void ox_usr1_handler(int sig) |
{ |
{ |
extern jmp_buf env; |
|
|
|
#if !defined(VISUAL) |
#if !defined(VISUAL) |
signal(SIGUSR1,ox_usr1_handler); |
signal(SIGUSR1,ox_usr1_handler); |
#endif |
#endif |