У меня есть приложение в Vaadin 8. Сервер меняет свои данные случайным образом. Метки, которые показывают данные, являются биндетом. Если я установил «setPollIntervall», он работает отлично, но не точно с точностью до секунды. Теперь я хочу, чтобы ярлык обновлялся напрямую, если что-то меняется. Ваадин предлагает толкнуть, но как мне использовать оба вместе?