| /trunk/services/index.php |
|---|
| 54,11 → 54,5 |
| // Initialisation et lancement du serveur |
| $Serveur = new RestServeur(); |
| $Serveur->executer(); |
| // 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); |
| } |
| } |
| ?> |