C ++ 11
использует синтаксис регулярных выражений ECMAScript (ECMA-262), поэтому он не будет иметь внешний вид (другие варианты регулярного выражения, поддерживаемые C ++ 11, также не имеют внешнего вида).
Если ваш вариант использования требует использования look-behind, вы можете вместо этого использовать Boost.Regex .
<META HTTP-EQUIV="Refresh" CONTENT="5">
при этом страница будет перезагружаться каждые 5 секунд. Просто рассчитайте правильный интервал и добавьте его в тег содержимого
Обычно при обращении к странице вычислите, сколько времени осталось между временем доступа и временем, когда вы хотите перезагрузить страницу, и используйте это оставшееся время в заголовке мета обновления. Очевидно, это необходимо сделать в сценарии CGI или веб-приложении, или, возможно, с помощью SSI (включая серверную часть); это не сработает, если у вас есть только статический HTML-файл.
Другой альтернативой было бы использование Javascript, но это не сработает, если у клиента отключен Javascript.
По сути, существует множество кодов javascript, которые могут обновлять страницу через несколько минут или что-то в этом роде, вы также можете редактировать их, чтобы обновлять в часы. Как этот:
//enter refresh time in "minutes:seconds" Minutes: 0 to Whatever
//Seconds should range from 0 to 59
var limit = "0:30";
if (document.images) {
var parselimit = limit.split(":");
parselimit = parselimit[0] * 60 + parselimit[1] * 1;
}
var beginrefresh = function () {
if (!document.images) return if (parselimit == 1) window.location.reload()
else {
parselimit -= 1;
curmin = Math.floor(parselimit / 60);
cursec = parselimit % 60;
if (curmin != 0) curtime = curmin + " minutes and " + cursec + " seconds left until page refresh!";
else curtime = cursec + " seconds left until page refresh!";
window.status = curtime;
setTimeout("beginrefresh()", 1000);
}
}
window.onload = beginrefresh;
(теперь просто подсчитайте минуты и секунды, которые вы хотите обновить, например, в полдень каждый день, если бы сейчас был полдень:
var limit = "1440:00";
Теперь вы можете использовать этот код, за исключением того, что большинство из них не работают с серверным временем, А с информацией, которую вы нам предоставили, мы действительно больше ничего не можем сделать. Отредактируйте свой вопрос и сообщите нам, хотите ли вы, чтобы он синхронизировался со временем сервера или чем-то еще.
Следующий фрагмент кода JavaScript позволит вам выполнить обновление в заданное время:
function refreshAt(hours, minutes, seconds) {
var now = new Date();
var then = new Date();
if(now.getHours() > hours ||
(now.getHours() == hours && now.getMinutes() > minutes) ||
now.getHours() == hours && now.getMinutes() == minutes && now.getSeconds() >= seconds) {
then.setDate(now.getDate() + 1);
}
then.setHours(hours);
then.setMinutes(minutes);
then.setSeconds(seconds);
var timeout = (then.getTime() - now.getTime());
setTimeout(function() { window.location.reload(true); }, timeout);
}
Затем вы можете добавить тег скрипта для вызова функции refreshAt ()
.
refreshAt(15,35,0); //Will refresh the page at 3:35pm