diff options
Diffstat (limited to 'pith/osdep/debugtime.c')
| -rw-r--r-- | pith/osdep/debugtime.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/pith/osdep/debugtime.c b/pith/osdep/debugtime.c index a1ee3b2a..09fc5c30 100644 --- a/pith/osdep/debugtime.c +++ b/pith/osdep/debugtime.c @@ -29,7 +29,7 @@ static char rcsid[] = "$Id: debugtime.c 770 2007-10-24 00:23:09Z hubert@u.washin * If include_date is set the date is appended. */ char * -debug_time(int include_date, int include_subseconds) +debug_time(int include_date, int include_subseconds, int signal_in_progress) { time_t t; struct tm *tm_now; @@ -43,6 +43,9 @@ debug_time(int include_date, int include_subseconds) char subsecond[8]; char datestr[7]; + if(signal_in_progress) + return _("Time Unavailable"); + timestring[0] = '\0'; #if HAVE_GETTIMEOFDAY |