// la date de la dernière recherche\r
var derniereRecherche = new Date();\r
derniereRecherche.setMinutes(derniereRecherche.getMinutes() - 1);\r
+var motifDerniereRecherche = ""\r
\r
/**\r
* Effectue une recherche, n'affiche que les films qui contiennent le motif recherché
*/\r
function doRecherche()\r
{\r
+ // le motif à chercher\r
+ var motif = document.getElementById("recherche").value\r
+ if (motif == motifDerniereRecherche) return;\r
+ \r
// empèche de faire deux recherches successive en moins de 800ms\r
var now = new Date();\r
if (now.getTime() < derniereRecherche.getTime() + 800)\r
setTimeout("doRecherche()", 810 - (now.getTime() - derniereRecherche.getTime()));\r
return;\r
}\r
+ motifDerniereRecherche = motif;\r
derniereRecherche = now;\r
+ \r
+ dump ("recherche : " + motif + "\r\n");\r
+ debut = new Date().getTime()\r
\r
var afficherTout = false;\r
// si aucun choix n'est fait pour la recherche on affiche tout\r
var nbFilm = 0; // pour compter le nombre de film total\r
var nbFilmAffiche = 0; // pour compter le nombre de film affiché\r
\r
- // le motif à chercher\r
- var motif = document.getElementById("recherche").value\r
- var rechercheRegExp = new RegExp(".*" + motif + ".*", "i")\r
+ var rechercheRegExp = new RegExp(motif, "i")\r
\r
var liste = document.getElementById("liste")\r
var lignes = liste.childNodes\r
// mise à jour de l'affichage du nombre de film total/affiché\r
document.getElementById("nbFilms").textContent = nbFilmAffiche + " / " + nbFilm + " film" + (nbFilm > 1 ? "s" : "")\r
\r
+ fin = new Date().getTime()\r
+ dump ("Temps : " + (fin - debut) / 1000 + "s\r\n\r\n")\r
}\r
\r
/**\r