Check changes_timer with event_initialized before event_del.

This commit is contained in:
Nicholas Marriott 2012-03-20 14:06:44 +00:00
parent 01f2b5d64b
commit 5672f2ce6b

View File

@ -649,7 +649,8 @@ window_pane_destroy(struct window_pane *wp)
{
window_pane_reset_mode(wp);
event_del(&wp->changes_timer);
if (event_initialized(&wp->changes_timer))
evtimer_del(&wp->changes_timer);
if (wp->fd != -1) {
bufferevent_free(wp->event);