comparison src/keyboard.c @ 37603:df85a76987bb

(delete_kboard): Handle the case that selected_frame has been deleted in the course of x_connection_closed.

37602:cf908fe10fe5

    if (*kbp == NULL)
      abort ();
  *kbp = kb->next_kboard;

  /* Prevent a dangling reference to KB.  */
  if (kb == current_kboard)
    {
      current_kboard = SELECTED_FRAME ()->kboard;
      if (current_kboard == kb)
	abort ();
    }
  
  wipe_kboard (kb);

37603:df85a76987bb

    if (*kbp == NULL)
      abort ();
  *kbp = kb->next_kboard;

  /* Prevent a dangling reference to KB.  */
  if (kb == current_kboard
      && FRAMEP (selected_frame)
      && FRAME_LIVE_P (XFRAME (selected_frame)))
    {
      current_kboard = XFRAME (selected_frame)->kboard;
      if (current_kboard == kb)
	abort ();
    }
  
  wipe_kboard (kb);