version 1.68, 2007/01/03 15:48:08 |
version 1.69, 2007/09/15 10:17:08 |
|
|
* 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/parse/glob.c,v 1.67 2006/09/28 07:43:45 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.68 2007/01/03 15:48:08 fujiwara Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "al.h" |
#include "al.h" |
Line 621 void ill_handler(int sig) |
|
Line 621 void ill_handler(int sig) |
|
#endif |
#endif |
} |
} |
|
|
|
#if defined(__DARWIN__) |
|
#define SIGNAL_FOR_TIMER SIGALRM |
|
#define ITIMER_TYPE ITIMER_REAL |
|
#else |
|
#define SIGNAL_FOR_TIMER SIGVTALRM |
|
#define ITIMER_TYPE ITIMER_VIRTUAL |
|
#endif |
|
|
void alrm_handler(int sig) |
void alrm_handler(int sig) |
{ |
{ |
fprintf(stderr,"interval timer expired (VTALRM)\n"); |
fprintf(stderr,"interval timer expired (VTALRM)\n"); |
Line 679 void error(char *s) |
|
Line 687 void error(char *s) |
|
|
|
#if !defined(VISUAL) |
#if !defined(VISUAL) |
if ( !error_in_timer && timer_is_set ) |
if ( !error_in_timer && timer_is_set ) |
alrm_handler(SIGVTALRM); |
alrm_handler(SIGNAL_FOR_TIMER); |
#endif |
#endif |
fprintf(stderr,"%s\n",s); |
fprintf(stderr,"%s\n",s); |
set_lasterror(s); |
set_lasterror(s); |
Line 716 void toplevel(char *s) |
|
Line 724 void toplevel(char *s) |
|
|
|
#if !defined(VISUAL) |
#if !defined(VISUAL) |
if ( timer_is_set ) |
if ( timer_is_set ) |
alrm_handler(SIGVTALRM); |
alrm_handler(SIGNAL_FOR_TIMER); |
#endif |
#endif |
fprintf(stderr,"%s\n",s); |
fprintf(stderr,"%s\n",s); |
if ( do_file ) { |
if ( do_file ) { |
Line 740 void set_timer(int interval) |
|
Line 748 void set_timer(int interval) |
|
it.it_interval.tv_usec = 0; |
it.it_interval.tv_usec = 0; |
it.it_value.tv_sec = interval; |
it.it_value.tv_sec = interval; |
it.it_value.tv_usec = 0; |
it.it_value.tv_usec = 0; |
setitimer(ITIMER_VIRTUAL,&it,0); |
setitimer(ITIMER_TYPE,&it,0); |
signal(SIGVTALRM,alrm_handler); |
signal(SIGNAL_FOR_TIMER,alrm_handler); |
timer_is_set = 1; |
timer_is_set = 1; |
} |
} |
|
|
Line 753 void reset_timer() |
|
Line 761 void reset_timer() |
|
it.it_interval.tv_usec = 0; |
it.it_interval.tv_usec = 0; |
it.it_value.tv_sec = 0; |
it.it_value.tv_sec = 0; |
it.it_value.tv_usec = 0; |
it.it_value.tv_usec = 0; |
setitimer(ITIMER_VIRTUAL,&it,0); |
setitimer(ITIMER_TYPE,&it,0); |
signal(SIGVTALRM,SIG_IGN); |
signal(SIGNAL_FOR_TIMER,SIG_IGN); |
timer_is_set = 0; |
timer_is_set = 0; |
} |
} |
#endif |
#endif |