- <?if (empty($aff)) {
- ?><span id="horlogespan" style="color: #000000; font-size: 9pt; font-family: times;"></span><iframe src="realtime.php?aff=1" noresize frameborder="0" framespacing="0" border="0" marginheight="0" marginwidth="0" scrolling="no" width="0" height="0" style="visibility: hidden;"></iframe><?
- } else {
- //Les quatres lignes php suivantes permettent de ne jamais mettre en cache la page.
- header("Expires: Mon, 26 Jul 1997 05:00:00 GMT");
- header("Last-Modified: ".gmdate("D, d M Y H:i:s")." GMT");
- header("Cache-Control: no-cache, must-revalidate");
- header("Pragma: no-cache");
- ?><html><head><title>Heure en temps réel</title><META NAME="robots" CONTENT="noindex, nofollow"></head><body><script language="Javascript">
- <!--
- var myDate=new Date(); //On créé un object qui permet de manipuler les dates
- myDate.setTime(<?=time()*1000?>); //On prend l'heure en cours sur le serveur, à partir de la fonction php time(), pour la mettre dans l'objet de manipulation des dates. Le *1000 est tout simplement parce que en php, l'heure est donnée en secondes, alors que le javascript, en microsecondes
- function ActualiseHeure() {
- myDate.setTime(myDate.getTime()+1000); //On ajoute 1000 millisecondes à l'heure, soit 1 seconde.
- top.horlogespan.innerHTML=myDate.toLocaleString(); //On met dans le span l'heure et la date qu'il est.
- setTimeout("ActualiseHeure()", 1000); //On rééxécute cette fonctionne dans une seconde.
- }
- ActualiseHeure(); //On apelle la fonction une foix, puis après elle tournera toute seule, gràce au setTimeout.
- //-->
- </script></body></html><?}?>
<?if (empty($aff)) {
?><span id="horlogespan" style="color: #000000; font-size: 9pt; font-family: times;"></span><iframe src="realtime.php?aff=1" noresize frameborder="0" framespacing="0" border="0" marginheight="0" marginwidth="0" scrolling="no" width="0" height="0" style="visibility: hidden;"></iframe><?
} else {
//Les quatres lignes php suivantes permettent de ne jamais mettre en cache la page.
header("Expires: Mon, 26 Jul 1997 05:00:00 GMT");
header("Last-Modified: ".gmdate("D, d M Y H:i:s")." GMT");
header("Cache-Control: no-cache, must-revalidate");
header("Pragma: no-cache");
?><html><head><title>Heure en temps réel</title><META NAME="robots" CONTENT="noindex, nofollow"></head><body><script language="Javascript">
<!--
var myDate=new Date(); //On créé un object qui permet de manipuler les dates
myDate.setTime(<?=time()*1000?>); //On prend l'heure en cours sur le serveur, à partir de la fonction php time(), pour la mettre dans l'objet de manipulation des dates. Le *1000 est tout simplement parce que en php, l'heure est donnée en secondes, alors que le javascript, en microsecondes
function ActualiseHeure() {
myDate.setTime(myDate.getTime()+1000); //On ajoute 1000 millisecondes à l'heure, soit 1 seconde.
top.horlogespan.innerHTML=myDate.toLocaleString(); //On met dans le span l'heure et la date qu'il est.
setTimeout("ActualiseHeure()", 1000); //On rééxécute cette fonctionne dans une seconde.
}
ActualiseHeure(); //On apelle la fonction une foix, puis après elle tournera toute seule, gràce au setTimeout.
//-->
</script></body></html><?}?>