| 1,6 → 1,7 |
|---|
| <?php |
| $temps_debut = microtime(true); |
| // Encodage : UTF-8 |
| // Permet d'afficher le temps d'execution du service |
| $temps_debut = (isset($_GET['chrono']) && $_GET['chrono'] == 1) ? microtime(true) : ''; |
| // +-------------------------------------------------------------------------------------------------------------------+ |
| /** |
| * Serveur |
| 32,7 → 33,11 |
|---|
| // Initialisation et lancement du serveur |
| $Serveur = new Serveur(); |
| $Serveur->executer(); |
| $temps_fin = microtime(true); |
| echo 'Temps d\'execution : '.round($temps_fin - $temps_debut, 4); |
| |
| // Affiche le temps d'execution du service |
| if (isset($_GET['chrono']) && $_GET['chrono'] == 1) { |
| $temps_fin = microtime(true); |
| echo 'Temps d\'execution : '.round($temps_fin - $temps_debut, 4); |
| } |
| } |
| ?> |