diff --git a/content/mouline_corpus.html b/content/mouline_corpus.html new file mode 100644 index 0000000..69626c2 --- /dev/null +++ b/content/mouline_corpus.html @@ -0,0 +1,71 @@ +

Liste des fichiers disponibles

+
+ +
+ + + + \ No newline at end of file diff --git a/corpus_web_fonctions.php b/corpus_web_fonctions.php index be57e3a..d642bc1 100644 --- a/corpus_web_fonctions.php +++ b/corpus_web_fonctions.php @@ -12,3 +12,39 @@ if (!defined('_ECRIRE_INC_VERSION')) { return; } + + +function nombre_ligne($fichier) { + if (!file_exists($fichier)) { + return false; + } + $num_ligne = 0; + $handle = @fopen($fichier, "rb"); + if ($handle) { + while (($buffer = fgets($handle)) !== false) { + $num_ligne = $num_ligne + 1; + } + } + return $num_ligne; +} + +function affiche_ligne($fichier, $num) { + if (!file_exists($fichier)) { + return false; + } + + $handle = @fopen($fichier, "rb"); + if ($handle) { + while (($buffer = fgets($handle)) !== false) { + $num_ligne = $num_ligne + 1; + if ($num_ligne == $num) { + return $buffer; + } + } + if (!feof($handle)) { + echo "Erreur: fgets() a échoué\n"; + } + fclose($handle); + } + return 'Erreur : nombre de lignes du fichier '.$fichier.' inférieur à '.$num; +} \ No newline at end of file