Je sais que vous pouvez utiliser header("refresh: 0;");
pour actualiser instantanément la page en PHP
Vous pouvez également définir votre propre délai qui est de 3 secondes, comme indiqué ci-dessous header("refresh: 3;");
Ma question est la suivante : est-il possible de régler le délai à moins d'une seconde, un dixième de seconde ? header("刷新:0.1;");
header("refresh: 0.9;"); s'actualisera immédiatement, header("refresh: 1.9;"); s'actualisera après 1 seconde, et ainsi de suite. Les points décimaux sont ignorés.
J'ai essayé, ça marche
Par exemple :
header("刷新:0.25;");
header("刷新:0.1;");
header("刷新:0.75;") ");
header("refresh: 0.5;");
Tout semble fonctionner.