*** term.c 31 Oct 2008 08:23:59 +1100 1.229 --- term.c 31 Oct 2008 08:24:05 +1100 *************** *** 3129,3138 **** } void ! close_gpm () { ! if (gpm_fd >= 0) ! delete_gpm_wait_descriptor (gpm_fd); while (Gpm_Close()); /* close all the stack */ gpm_tty = NULL; } --- 3129,3139 ---- } void ! close_gpm (fd) ! int fd; { ! if (fd >= 0) ! delete_gpm_wait_descriptor (fd); while (Gpm_Close()); /* close all the stack */ gpm_tty = NULL; } *************** *** 3150,3156 **** if (!tty || gpm_tty != tty) return Qnil; /* Not activated on this terminal, nothing to do. */ ! close_gpm (); return Qnil; } #endif /* HAVE_GPM */ --- 3151,3157 ---- if (!tty || gpm_tty != tty) return Qnil; /* Not activated on this terminal, nothing to do. */ ! close_gpm (gpm_fd); return Qnil; } #endif /* HAVE_GPM */