| 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 |