Method push

src/interactive/interactivePromptServer.ts:368–380

(session: Session, event: ServerEvent)

	}

	private push(session: Session, event: ServerEvent): void {
		if (session.waiter) {
			const waiter = session.waiter;
			session.waiter = null;
			if (session.waiterTimer) {
				window.clearTimeout(session.waiterTimer);
				session.waiterTimer = null;
			}
			waiter(event);
		} else {
			session.queue.push(event);
		}
	}

	private destroySession(session: Session): void {
		if (session.waiterTimer) window.clearTimeout(session.waiterTimer);