version 1.4, 2000/10/04 21:19:38 |
version 1.5, 2000/11/21 07:22:19 |
|
|
#include <string.h> |
#include <string.h> |
#include <stdlib.h> |
#include <stdlib.h> |
#include <unistd.h> |
#include <unistd.h> |
|
#include <errno.h> |
#include <sys/time.h> |
#include <sys/time.h> |
|
|
/* includes specific to top */ |
/* includes specific to top */ |
|
|
int i; |
int i; |
|
|
{ |
{ |
|
int save_errno = errno; |
|
|
/* move to the lower left */ |
/* move to the lower left */ |
end_screen(); |
end_screen(); |
fflush(stdout); |
fflush(stdout); |
|
|
/* reinit screen */ |
/* reinit screen */ |
reinit_screen(); |
reinit_screen(); |
|
|
|
errno = save_errno; |
|
|
/* jump to appropriate place */ |
/* jump to appropriate place */ |
longjmp(jmp_int, 1); |
longjmp(jmp_int, 1); |
|
|
|
|
int i; |
int i; |
|
|
{ |
{ |
|
int save_errno = errno; |
|
|
/* reascertain the screen dimensions */ |
/* reascertain the screen dimensions */ |
get_screensize(); |
get_screensize(); |
|
|
|
|
|
|
/* reset the signal handler */ |
/* reset the signal handler */ |
(void) signal(SIGWINCH, winch); |
(void) signal(SIGWINCH, winch); |
|
|
|
errno = save_errno; |
|
|
/* jump to appropriate place */ |
/* jump to appropriate place */ |
longjmp(jmp_int, 1); |
longjmp(jmp_int, 1); |