<SCRIPT LANGUAGE=“JavaScript”> <!– Begin function getCSS() { datetoday = new Date(); timenow=datetoday.getTime(); datetoday.setTime(timenow); thehour = datetoday.getHours(); if (thehour > 20) display = “tree_twilight.css”; else if… Read More »Switch CSS according to the hours of the day
$start = microtime(TRUE); // Code PHP à bencher for ($i = 0; $i < 10000; $i++) { isset($array[‘id’]); } echo number_format(microtime(TRUE) – $start,… Read More »Calculer le temps d’exécution d’un code PHP
# [Default] All domains have the same time synchronized from ntp-client in dom0. echo 0 > /proc/sys/xen/independent_wallclock # If, however, this is not the case,… Read More »Xen Date/Time Synchronization