Rev 119154 Rev 119156
Line 122... Line 122...
122 // fichiers modifies depuis la derniere heure 122 // fichiers modifies depuis la derniere heure
123 $dirs_changed = dirschanged_read($dir_repo, time()-3600); 123 $dirs_changed = dirschanged_read($dir_repo, time()-3600);
124 if ($dirs_changed) { 124 if ($dirs_changed) {
125 echo_trace("Dossiers modifies : ".implode(", ",$dirs_changed)); 125 echo_trace("Dossiers modifies : ".implode(", ",$dirs_changed));
126 } 126 }
-   127 else {
-   128 echo_trace("Aucun dossiers modifie");
-   129 }
127 } 130 }
128 else { 131 else {
129 $dirs_changed = null; 132 $dirs_changed = null;
130 } 133 }