@Nikolas Понял, думаю это на стороне пользователя уже должно решаться всё таки. Но в таком случае, ваш вариант с пингованием, наверное, самый простой и надежный
А нет, пардон. Ошибка появилась так:
После того, как загрузил страницу, добавил "Яваскрипт", затем нажал "выполнить".
Надо было загрузить страницу по новой, после этого работает