Problème INTERNAL ERROR SERVEUR

Accueil Forums Gestion d’un serveur WIMS Administration d’un serveur WIMS Problème INTERNAL ERROR SERVEUR

Vous lisez 41 fils de discussion
  • Auteur
    Messages
    • #2133
      Mickael Marmot
      Participant
      Up
      0
      Down
      ::

      Bonjour,
      J’enseigne les SVT en Guyane française et je viens tout juste de découvrir WIMS.
      Ayant un petit budget, j’ai voulu faire bénéficier à mes élèves de ce formidable outil d’apprentissage qu’est WIMS.
      J’ai donc installé le serveur WIMS sur des micro-machines « Raspberry Pi » à 30euros.

      Pour tout dire, le raspberry pi malgré ses très faibles performances (CPU cadencé à 700MHz, 512Mo de RAM) supporte aisément Apache2 et WIMS.
      En revanche quand je crois avoir tout bien paramétré (classe virtuelle OK, feuille OK, exo OK) en créant un compte élève test … patatra …. je tombe sur une page :

      OK
      internal serveur error

      et tout mon travail devient inexploitable.
      Ai-je mal configuré WIMS ?
      Pouvez-vous m’aider, s’il-vous-plaït ?

      PS: je suis aussi débutant en Linux

      Mickaël

      Mickaël

    • #2134
      bernadette
      Maître des clés
      Up
      0
      Down
      ::

      Comment avez-vous fait l’installation ? avec le paquet sur sourcesup ?
      Ce genre d’erreur quand on entre dans une classe peut arriver s’il manque un dossier dans la classe. Pouvez-vous me donner la liste des dossiers de la classe que vous avez créée (elle se trouve dans le répertoire log/classes).

      Bernadette

      • #2135
        Mickael Marmot
        Participant
        Up
        0
        Down
        ::

        Merci d’avoir répondu aussi vite.
        Je suis vraiment débutant dans tout ce qui concerne Linux et Wims.

        -Mon Raspberry pi utilise Raspbian (Debian Wheezy)

        -J’ai installé Wims en tapant « sudo apt-get install wims » dans le terminal (c’est l’installation automatique je crois.

        -J’ai un peu honte de l’avouer mais je ne sais pas trop comment accéder au répertoire log/classes (Linux,c’est vraiment tout nouveau pour moi : je m’y suis mis il y a une semaine seulement) … mais je suppose qu’il faut taper une commande qui ressemble à ceci « sudo nano ???log/classes » je me trompe ??? Je ne connais pas le chemin … pouvez me préciser le chemin ? et je ferai un copie de la liste.

        Mickaël

    • #2136
      Avatar photoOlivier
      Maître des clés
      Up
      0
      Down
      ::

      Bonjour Mickael,
      Je suis justement moi même en train d’installer un serveur WIMS sur Raspberry Pi
      Je n’ai pas encore pu créer de classe. je viens a peine de finir l’installation ^^.

      WIMS est par défaut (avec apt-get install wims) installé dans le dossier suivant
      /var/lib/wims

      • Cette réponse a été modifiée le il y a 9 années et 11 mois par Avatar photoOlivier.
      • Cette réponse a été modifiée le il y a 9 années et 11 mois par Avatar photoOlivier.

      Olivier Bado-Faustin / Université Côte d’Azur

      • #2139
        Mickael Marmot
        Participant
        Up
        0
        Down
        ::

        Super ! un autre adepte du Raspberry Pi.
        J’essaye de joindre une image du dispositif:

        Dois-je taper ceci dans le terminal: « sudo nano /var/lib/wims/log/classes »

        Mickaël

      • #2142
        Mickael Marmot
        Participant
        Up
        0
        Down
        ::

        Est-ce que cela fonctionne pour toi ?

        Mickaël

    • #2140
      bernadette
      Maître des clés
      Up
      0
      Down
      ::

      Plutôt
      ls -al /var/lib/wims/log/classes/numero_classe

      Mais je laisse Olivier t’aider car je n’installe jamais avec apt-get install wims.

      Bernadette

      • #2141
        Mickael Marmot
        Participant
        Up
        0
        Down
        ::

        Tout d’abord je retape l’ensemble du message d’erreur :

        OK
        The server encountered an internal error or misconfiguration and was unable to complete your request.
        Please contact the server administrator, webmaster@localhost and inform them of the time the error occurred, and anything you might have done that may have caused the error.
        More information about this error may be available in the server error log.
        Apache/2.2.22 (Debian) Server at 127.0.0.1 Port 80

        Voici le log que j’obtiens en tapant ceci:
        pi@raspberrypi ~ $ sudo ls -all /var/lib/wims/log/classes (… j’ai remplacé l’option -al qu ne fonctionnait pas par -all mais je ne sais pas à quoi correspond « numero_classe » car quand je recopie la commande entière cela ne donne rien)

        drwx—— 32 wims wims 4096 mai 5 20:55 .
        drwx—— 7 wims wims 4096 mai 5 21:05 ..
        drwxr-xr-x 6 wims wims 4096 mai 3 22:33 1000
        drwxr-xr-x 6 wims wims 4096 mai 3 22:33 1002
        drwxr-xr-x 6 wims wims 4096 mai 3 22:33 1004
        drwxr-xr-x 8 wims wims 4096 mai 3 22:33 1011
        drwxr-xr-x 8 wims wims 4096 mai 3 22:33 1021
        drwxr-xr-x 14 wims wims 4096 mai 3 22:33 1023
        drwxr-xr-x 7 wims wims 4096 mai 3 22:33 1111
        drwxr-xr-x 8 wims wims 4096 mai 3 22:33 1112
        drwxr-xr-x 7 wims wims 4096 mai 3 22:33 1113
        drwxr-xr-x 7 wims wims 4096 mai 3 22:33 1114
        drwxr-xr-x 10 wims wims 4096 mai 3 22:33 1115
        drwxr-xr-x 10 wims wims 4096 mai 3 22:33 1116
        drwxr-xr-x 10 wims wims 4096 mai 3 22:33 1117
        drwxr-xr-x 10 wims wims 4096 mai 3 22:33 1118
        drwxr-xr-x 12 wims wims 4096 mai 3 22:33 1119
        drwxr-xr-x 7 wims wims 4096 mai 3 22:33 1121
        drwxr-xr-x 8 wims wims 4096 mai 3 22:33 1122
        drwxr-xr-x 14 wims wims 4096 mai 3 22:33 1123
        drwxr-xr-x 6 wims wims 4096 mai 3 22:33 1124
        drwxr-xr-x 15 wims wims 4096 mai 3 22:33 1125
        drwxr-xr-x 10 wims wims 4096 mai 3 22:33 1126
        drwxr-xr-x 10 wims wims 4096 mai 3 22:33 1127
        drwxr-xr-x 10 wims wims 4096 mai 3 22:33 1128
        drwxr-xr-x 10 wims wims 4096 mai 3 22:33 1129
        drwxr-xr-x 10 wims wims 4096 mai 3 22:33 1130
        drwxr-xr-x 7 wims wims 4096 mai 3 22:33 1313
        drwxr-xr-x 7 wims wims 4096 mai 3 22:33 1367
        drwxr-xr-x 14 wims wims 4096 mai 5 20:56 1671878
        drwxr-xr-x 13 wims wims 4096 mai 3 22:33 9001
        -rwxr-xr-x 1 wims wims 2594 juil. 5 2012 .build-index
        -rwxr-xr-x 1 wims wims 2121 juil. 5 2012 .build-teacher
        drwxr-xr-x 2 wims wims 4096 mai 3 22:33 .connections
        -rw-r–r– 1 wims wims 14 juil. 5 2012 .htaccess
        -rw-r–r– 1 wims wims 2308 mai 5 20:48 .index
        -rw-r–r– 1 wims wims 1387 juil. 5 2012 README
        -rw-r–r– 1 wims wims 65 mai 5 20:55 .stat
        -rw-r–r– 1 wims wims 0 mai 5 20:48 .supervisor-portal
        -rw-r–r– 1 wims wims 0 mai 5 20:48 .supervisor-supercls
        -rw-r–r– 1 wims wims 50 mai 5 20:48 .teacher-cls
        -rw-r–r– 1 wims wims 0 mai 5 20:48 .teacher-portal
        -rw-r–r– 1 wims wims 0 mai 5 20:48 .teacher-supercls
        -rw-r–r– 1 wims wims 14 juil. 5 2012 .wimshome

        Je ne sais pas où regarder.
        Je vais essayer une installation manuelle (bien que cela me paraisse bien compliqué en regard à mes compétences Linux)

        Mickaël

    • #2143
      bernadette
      Maître des clés
      Up
      0
      Down
      ::

      le numéro de classe est visiblement 1671878

      fais cd /var/lib/wims/log/classes/1671878

      ls -al

      Mais Olivier me dit qu’en faisant apt-get wims on tombe sur la version
      4.03b ou quelque chose comme cela (en prenant je suppose un dépôt debian standard).
      Quelle version de wims s’est-installé ?
      Si c’est vraiment ce genre de numéro, le bug ne m’étonne plus, mais il
      aurait été corrigé depuis.

      Je n’aurai pas internet pendant une semaine, donc je laisse à d’autres !

      Bernadette

    • #2144
      Avatar photoOlivier
      Maître des clés
      Up
      0
      Down
      ::

      Est-ce que cela fonctionne pour toi ?

      J’ai eu quelques soucis hier pour que le serveur fonctionne. Il semble qu’il y ai un bug dans le calcul de la charge serveur (« load average ») sur la version du firmware de mon Raspberry (Linux piwims 3.12.18+ #677 )
      Il donne une charge moyenne d’environ 3 au repos, au lieu d’environ 0. Du coup, j’avais un message « serveur trop occupé ». Mais c’est réglé maintenant (en gros, J’ai demandé à WIMS de ne pas tenir compte de la charge du serveur).

      Je vais créer une classe et vous tenir au courant. Mais comme le disais Bernadette, la version de WIMS installée avec apt-get est « WIMS-4.03a compilé le 2012-07-05. »… et depuis près de 2 ans, il y a eu bon nombre d’évolutions et de bugs corrigés…

      Olivier Bado-Faustin / Université Côte d’Azur

    • #2145
      Avatar photoOlivier
      Maître des clés
      Up
      0
      Down
      ::

      Voila je viens de créer une classe sans souci.
      J’ai ensuite pu m’y connecter, et créer un participant.
      Puis j’ai créé une feuille, et un exercice, que j’ai inséré dans la feuille.
      J’ai ensuite activé la feuille.
      Je me suis connecté en élève, et j’ai pu travailler sur la feuille.

      J’ai pu réaliser toutes ses actions sans jamais rencontrer le souci « internal error ».

      Mais en regardant votre erreur en détail, j’ai l’impression qu’elle vient d’Apache plutôt que de WIMS.
      Il serait intéressant de vérifier dans les logs d’erreurs d’apache pour avoir plus d’infos.
      Commande pour voir les logs apache : cat /var/log/apache2/error.log

      Pour ma part, le seul souci que j’ai maintenant, c’est que les notes de mon eleve test ne semblent pas s’enregistrer. cela est peut-être un souci de cette version de WIMS par contre. ?

      • Cette réponse a été modifiée le il y a 9 années et 11 mois par Avatar photoOlivier.

      Olivier Bado-Faustin / Université Côte d’Azur

    • #2147
      Avatar photoOlivier
      Maître des clés
      Up
      0
      Down
      ::

      Voila. Apres n’avoir rien modifié de spécial, lorsque je suis revenu dans ma classe j’ai la même erreur !

      OK
      
      The server encountered an internal error or misconfiguration and was unable to complete your request.
      
      Please contact the server administrator, webmaster@localhost and inform them of the time the error occurred, and anything you might have done that may have caused the error.
      
      More information about this error may be available in the server error log.
      
      Apache/2.2.22 (Debian) Server at piwims.local Port 80

      Je continue mes investigations et je reviens vers vous…

      Olivier Bado-Faustin / Université Côte d’Azur

      • #2148
        Mickael Marmot
        Participant
        Up
        0
        Down
        ::

        C’est exactement la même erreur que moi.
        Est-ce dû au Raspi ? à Raspbian debian wheezy ? la version de wims ? ou encore Apache2?

        Pour en avoir une petite idée, je te transmets quelques éléments de mon install:
        -OS: Raspbian (NOOBS) 3.10
        -WIMS 4.03b (install par apt-get)
        -Apache2

        PS: quand j’ai tenté l’installation manuelle de wims, l’étape « Maxima » a eu raison de mon enthousiasme ( c’est surtout que la commande « cd » ne semble rien donner avec mon raspi sudo ou pas sudo en début de ligne ) …
        C’est dommage que le paquet wims en install automatique ne soit pas fonctionnel car il est très pratique.

        Mickaël

      • #2149
        Avatar photoOlivier
        Maître des clés
        Up
        0
        Down
        ::

        En fait, avec l’installation via apt-get de WIMS, tous les paquets tiers (dont maxima) doivent déjà être installés. inutile donc de les réinstaller manuellement.

        Olivier Bado-Faustin / Université Côte d’Azur

      • #2150
        Avatar photoOlivier
        Maître des clés
        Up
        0
        Down
        ::

        C’est exactement la même erreur que moi.<br>
        Est-ce dû au Raspi ? à Raspbian debian wheezy ? la version de wims ? ou encore Apache2?
        Pour en avoir une petite idée, je te transmets quelques éléments de mon install:<br>
        -OS: Raspbian (NOOBS) 3.10<br>
        -WIMS 4.03b (install par apt-get)<br>
        -Apache2

        En fouillant dans les logs Apache, il semble bien que le problème vienne de cette version de WIMS finalement, voila le message d’apache :
        [Tue May 06 13:59:00 2014] [error] [client 192.168.2.1] Premature end of script headers: wims.cgi

        Je vais regarder les logs de Wims pour avoir plus d’infos.

        Olivier Bado-Faustin / Université Côte d’Azur

    • #2151
      Mickael Marmot
      Participant
      Up
      0
      Down
      ::

      Si j’ai bien compris, il suffirait de faire l’install automatique de Wims par apt-get
      -Puis de désinstaller wims uniquement (c’est hors de mes compétences)
      -pour enfin réinstaller wims à jour à partir du site SourceSup ( vraiment hors de mes compétences … il va falloir que je potasse un peu mes lignes de commande)

      A partir de là ça devrait fonctionner .

      Mickaël

    • #2155
      Avatar photoOlivier
      Maître des clés
      Up
      0
      Down
      ::

      -Puis de désinstaller wims uniquement (c’est hors de mes compétences)

      En fait, quand vous désinstallez Wims via cette commande :
      sudo apt-get remove wims
      Seul WIMS sera désinstallé. Tous les paquets tiers installés automatiquement sont conservés. sauf si vous effectuez un « apt-get autoremove »

      Olivier Bado-Faustin / Université Côte d’Azur

    • #2156
      Avatar photoOlivier
      Maître des clés
      Up
      0
      Down
      ::

      pour enfin réinstaller wims à jour à partir du site SourceSup (vraiment hors de mes compétences… il va falloir que je potasse un peu mes lignes de commande)

      En fait, si vous suivez la doc d’install pas à pas, ca ne devrait poser aucun souci
      Vous la trouverez ici :
      http://wimsedu.info/wimsedu/wiki/doku.php?id=installation:debian
      Et même en cas de blocage, nous sommes toujours la sur le forum 😉

      A priori, si vous avez déjà les paquets tiers installés. vous pouvez démarrer directement cette doc à l’étape « 3. Installation de WIMS »
      l’utilisateur « wims » ayant déjà été créé, il vous faudra simplement modifier son mot de passe pour pouvoir l’utiliser, avec cette commande :
      sudo passwd wims

      Olivier Bado-Faustin / Université Côte d’Azur

      • #2157
        Avatar photoOlivier
        Maître des clés
        Up
        0
        Down
        ::

        nb : le dossier /home/wims n’est pas créé par l’installation de wims en mode apt-get.
        Pour le créer, tapez simplement :

        sudo mkdir /home/wims
        sudo chown wims:wims /home/wims/
        

        Et la commande pour obtenir la toute derniere version (4.07b) de WIMS sur sourcesup est la suivante :
        wget --no-check-certificate https://sourcesup.renater.fr/frs/download.php/4448/wims-4.07b.tgz

        • Cette réponse a été modifiée le il y a 9 années et 11 mois par Avatar photoOlivier.
        • Cette réponse a été modifiée le il y a 9 années et 11 mois par Avatar photoOlivier. Raison: lien vers wims 4.07b

        Olivier Bado-Faustin / Université Côte d’Azur

    • #2160
      Avatar photoOlivier
      Maître des clés
      Up
      0
      Down
      ::

      attention : via apt-get install wims, l’utilisateur wims n’a pas le droit de se logger (son shell est « /bin/false » )
      Pour modifier cela, il suffit de taper la commande suivante :
      sudo usermod --shell /bin/bash wims
      Vous pourrez alors vous connecter avec cet utilisateur en tapant :
      su wims

      Olivier Bado-Faustin / Université Côte d’Azur

    • #2161
      Mickael Marmot
      Participant
      Up
      0
      Down
      ::

      Quand on est Windows-dépendant comme moi … les procédures d’installation sous Linux deviennent vite un calvaire.
      Ma première tentative d’installation s’est soldée par un échec parce que ./compile ne donne rien ….

      j’ai dû me tromper sur l’une des étapes. Je vais tout reprendre pas à pas.

      Merci encore pour votre aide.

      Mickaël

    • #2162
      Mickael Marmot
      Participant
      Up
      0
      Down
      ::

      Je crois avoir tout bien fait mais ./compile me donne ce message :

      wims@raspberrypi:/home/wims$ ./compile
      Welcome to the compilation of WIMS (WWW Interactive Multipurpose Server)

      ./compile: 64: cd: can’t cd to src
      ./compile: 74: ./compile: ./configure: not found
      wims@raspberrypi:/home/wims$

      J’ai dû râter quelque chose

      Mickaël

      • #2163
        Avatar photoOlivier
        Maître des clés
        Up
        0
        Down
        ::

        étrange en effet…
        Avez-vous bien décompressé l’archive en tant qu’utilisateur wims ?
        Quels sont les droits sur ces dossiers ?
        ls -al

        Olivier Bado-Faustin / Université Côte d’Azur

    • #2166
      Mickael Marmot
      Participant
      Up
      0
      Down
      ::

      J’avance tout doucement …

      j’ai réussi à compiler wims (réussir à envoyer cette commande est un exploit pour moi)

      en revanche je n’arrive pas à dépasser cette étape.

      ./bin/setwrapexec et ./bin/setwimsd tapés tels en tant que root ne semblent rien donner

      et l’auto config ne donne rien de bon vu que j’ai ce message dans midori quand je tape cette adresse :http://127.0.0.1/wims :
      Forbidden
      You don’t have permission to access /wims/ on this server.
      Apache/2.2.22 (Debian) Server at 127.0.0.1 Port 80

      Voilà ce que j’ai entré dans le terminal:

      pi@raspberrypi ~ $ sudo passwd root
      Entrez le nouveau mot de passe UNIX :
      Retapez le nouveau mot de passe UNIX :
      passwd : le mot de passe a été mis à jour avec succès
      pi@raspberrypi ~ $ su
      Mot de passe :
      root@raspberrypi:/home/pi# ./bin/setwrapexec
      root@raspberrypi:/home/pi# ./bin/setwimsd
      root@raspberrypi:/home/pi# ./bin/apache-config
      ./bin/apache-config: 28: ./bin/apache-config: httpd: not found
      ./bin/apache-config: 29: ./bin/apache-config: apache: not found
      Error: wrong directory. File wims.cgi not found.

      root@raspberrypi:/home/pi#

      Mickaël

      • #2167
        Avatar photoOlivier
        Maître des clés
        Up
        0
        Down
        ::

        bonjour
        Attention, il faut lancer ces 3 scripts dans le dossier wims. Hors vous etes dans le dossier « /home/pi »
        Commencer donc par un cd /home/wims

        Le fait que la commande ./bin/apache-config renvoie tout de même quelque chose est étrange cependant. si vous avez bien installé wims dans /home/wims, apache-config ne devrait pas se trouver dans /home/pi …

        Olivier Bado-Faustin / Université Côte d’Azur

    • #2173
      Avatar photoOlivier
      Maître des clés
      Up
      0
      Down
      ::

      Je viens de tester l’installation manuelle sur mon raspberry Pi, en reprenant la doc à l’étape 3 comme je vous l’indiquais.
      Normalement, vous devriez avoir comme moi une erreur à la compilation :

      make[1]: flex: Command not found
      make[1]: *** [lex.yy.c] Error 127
      make[1]: Leaving directory 

      /home/wims/src/Mathml’
      make: *** [mathml] Error 2`

      Il y a certains paquets qui n’étaient pas (encore) installés par l’installation automatique. il est peut être plus sûr de reprendre la doc du début plutôt que de tenter de partir à l’étape 3. Il y aura moins de mauvaises surprises…

      • Cette réponse a été modifiée le il y a 9 années et 11 mois par Avatar photoOlivier.

      Olivier Bado-Faustin / Université Côte d’Azur

      • #2175
        Avatar photoOlivier
        Maître des clés
        Up
        0
        Down
        ::

        En tout cas, en ajoutant simplement la commande suivante avant de lancer la compilation de wims, ca a bien fonctionné pour moi. je me retrouve avec un serveur wims sur raspberry.

        sudo apt-get install flex bison
        su wims
        cd /home/wims
        ./compile

        Olivier Bado-Faustin / Université Côte d’Azur

      • #2183
        Mickael Marmot
        Participant
        Up
        0
        Down
        ::

        Bonjour,
        Je ne fais remonter mes avancées que maintenant car j’ai rencontré un problème totalement inattendu qui m’empêche depuis plus d’une semaine de finaliser mon installation de wims sur raspberry pi : quand je tape apt-get, raspbian sollicite des serveurs « brésiliens » vu que j’habite la Guyane française. Ces serveurs sont down ou la connexion est très très instable … bloquant totalement mon installation de wims.

        J’attends que ces problèmes soient résolus pour tenter une install propre de wims (j’ai essayé de modifier le fichier /etc/apt/sources.list en y mettant une adresse d’un autre serveur raspbian mais ça ne fonctionne pas du mieux, les logiciels tiers ne s’y trouvant pas (???)).

        Mon projet en est au point mort. Mais cela me motive de savoir qu’Olivier a réussi à faire tourner WIMS sur Raspi.

        Mickaël

    • #2210
      Mickael Marmot
      Participant
      Up
      0
      Down
      ::

      Je bloque au niveau de l’install quand j’essaye de configurer l’envoi de mails
      dpkg-reconfigure exim4-config donne dpkg-query: le paquet exim4-config n’est pas installé et aucune information n’est disponible

      Si c’est le cas cela veut peut-etre dire que wims ne s’est pas compilé ??
      Or la compilation se passe correctement et dans le bon dossier je crois.
      Je n’y comprends rien.

      Par ailleurs, dans le tuto, l’ouverture des droits à certains fichiers sensible se fait en tapant :
      ./bin/setwrapexec
      ./bin/setwimsd
      il ne se passe pas grand chose quand je tape tout ça ….. je ne suis pas sûr d’avoir bien fait.

      Enfin, est-ce que wims peut fonctionner sans povray ni macaulay.

      PS: j’en suis à ma quarantième install râtée de wims (à chaque réinstallation je réinstalle AUSSI LE SYSTEME pour que ça soit plus propre) et je suis à 2 doigts d’abandonner ,et wims ,et linux.

      Mickaël

    • #2211
      Avatar photoOlivier
      Maître des clés
      Up
      0
      Down
      ::

      Je bloque au niveau de l’install quand j’essaye de configurer l’envoi de mails<br>
      dpkg-reconfigure exim4-config donne dpkg-query: le paquet exim4-config n’est pas installé et aucune information n’est disponible

      J’avoue que je n’ai zappé cette partie sur mon Raspberry. Étant donné qu’il ne sera pas connecté en permanence, comme le serait un vrai serveur, j’ai considéré qu’il n’enverrai pas de mails. L’intérêt d’un Raspberry pour moi et surtout de disposer d’un serveur WIMS en réseau local, dans des conditions ou Internet ferait défaut.

      Sinon, l’installation du serveur Mail via sudo apt-get install exim4 devrait fonctionner j’imagine…

      • Cette réponse a été modifiée le il y a 9 années et 11 mois par Avatar photoOlivier.
      • Cette réponse a été modifiée le il y a 9 années et 11 mois par Avatar photoOlivier.

      Olivier Bado-Faustin / Université Côte d’Azur

    • #2214
      Avatar photoOlivier
      Maître des clés
      Up
      0
      Down
      ::

      Si c’est le cas cela veut peut-etre dire que wims ne s’est pas compilé ??<br>
      Or la compilation se passe correctement et dans le bon dossier je crois.<br>
      Je n’y comprends rien.

      Ne vous inquiétez pas. Wims n’as pas besoin d’un serveur de mails configuré pour se compiler. Il n’arrivera simplement pas à envoyer d’emails, voila tout.

      • Cette réponse a été modifiée le il y a 9 années et 11 mois par Avatar photoOlivier.

      Olivier Bado-Faustin / Université Côte d’Azur

    • #2216
      Avatar photoOlivier
      Maître des clés
      Up
      0
      Down
      ::

      Par ailleurs, dans le tuto, l’ouverture des droits à certains fichiers sensible se fait en tapant :<br>
      ./bin/setwrapexec<br>
      ./bin/setwimsd<br>
      il ne se passe pas grand chose quand je tape tout ça ….. je ne suis pas sûr d’avoir bien fait.

      Rassurez-vous : ces 2 instructions n’affichent rien quand tout va bien.

      Enfin, est-ce que wims peut fonctionner sans povray ni macaulay.

      Tout à fait oui. Seuls certains exercices/modules ne fonctionneront pas. Povray sert à afficher des images en 3D par exemple.

      • Cette réponse a été modifiée le il y a 9 années et 11 mois par Avatar photoOlivier.

      Olivier Bado-Faustin / Université Côte d’Azur

    • #2224
      Mickael Marmot
      Participant
      Up
      0
      Down
      ::

      Je reviens vers vous car cela ne fonctionne vraiment pas.
      En suivant l’install manuelle j’arrive à compiler (sans povray ni macaulay).
      J’arrive même à paramétrer exim4 (effectivement Olivier avait raison, il faut l’installer par apt-get install exim4, je l’aurais même rajouté comme logiciel tiers à installer avant d’installer wims) par contre quand j’essaye à ce niveau de lancer wims en tapant http://127.0.0.1:wims dans le barre d’adresse de mon navigateur internet j’obtiens une page d’erreur :
      La page << http://127.0.0.1:wims >> n’a pu être chargée.
      URL cannot be shown

      Je suis bloqué pour la suite car le tuto demande de mettre un script wims_modules.pl à la racine de wims …. vu que mon niveau en linux est très très très proche de zéro je ne vois pas comment faire pour aller à la racine de wims pire je ne sais même pas de quoi il s’agit vu qu’en tapant sudo cd /home/wims je croyais déjà y être.
      -pouvez-vous me dire si c’est normal qu’à ce stade wims ne donne pas de signe de vie dans mon navigateur internet (erreur address cannot be shown)
      -pouvez vous détailler la procédure de copie du script wims_modules.pl à la racine de wims

      Mickaël

    • #2225
      Mickael Marmot
      Participant
      Up
      0
      Down
      ::

      J’ai trouvé mon erreur !!!! l’adresse pour accéder à WIMS c’est http://127.0.0.1/wims
      et pas http://127.0.0.1:wims … Grrrrr c’est trop bête je tourne en rond depuis 3 semaines à cause de ça … (c’est honteux)

      Par contre, afin que mon PiWIMS comme vous l’avez baptisé soit complètement opérationnel je souhaite apprendre à mettre le script à la racine de wims.

      Je me mets à la conception d’exos dès demain.
      Merci pour votre assistance et vos encouragements.

      Mickaël

    • #2230
      Mickael Marmot
      Participant
      Up
      0
      Down
      ::

      Damn it !!!! Alors que tout allait bien ………..

      Wims n’est toujours pas opérationnel pour moi car mes élèves tombent sur la même page d’ internal error que sur les install automatiques des versions antérieures de wims

      Je suis revenu à la case départ.
      Est ce que cela fonctionne pour olivier car apache2 rencontre un problème avec wims 4.07b sur mon raspberry Pi.
      j’ai peut-être mal paramétré apache ??? (dans le tuto il n’y a rien à paramétrer dans apache pourtant…

      Mickaël

    • #2231
      Avatar photoOlivier
      Maître des clés
      Up
      0
      Down
      ::

      Wims n’est toujours pas opérationnel pour moi car mes élèves tombent sur la même page d’ internal error que sur les install automatiques des versions antérieures de wims

      Bonjour,
      Désolé, je n’ai malheureusement pas eu l’occasion de redémarrer mon Raspberry depuis 2 semaines (juste après avoir fini l’installation)

      J’ai enfin pu le rallumer ce matin,
      J’ai créé une classe, des exercices, des feuilles de travail, mis les exercices dans la feuille… tout semble aller.
      Mais une fois que j’ai créé l’étudiant, dès que j’ai essayé de me connecter avec, j’ai a nouveau cette même erreur !

      OK
      The server encountered an internal error or misconfiguration and was unable to complete your request.

      Olivier Bado-Faustin / Université Côte d’Azur

    • #2232
      Mickael Marmot
      Participant
      Up
      0
      Down
      ::

      J’ai exactement la même erreur donc changer de version de wims n’a rien changé.
      A quoi cela peut-il être dû ?
      Est-ce que ça ne viendrait pas du script d’auto-configuration de apache dans wims ? (je ne sais même pas comment y avoir accès)
      Peut être que le remplacement d’Apache par NGINX résoudrait le problème.

      Je ne maîtrise pas du tout l’installation de NGINX donc je ne pourrai même pas tester cette hypothèse.

      Une question reste en suspens : vu qu’on a suivi le tuto que tout le monde utilise pour installer wims, comment ont-ils bien pu faire pour installer wims à Orsay ou à Caen par exemple ?!?
      Je pense qu’il nous manque forcément une étape.

      Mickaël

    • #2233
      Mickael Marmot
      Participant
      Up
      0
      Down
      ::

      J’ai retrouvé ce log d’error dans apache2, peut-être que ça peut aider :
      ——————————————————————————————–
      pi@raspberrypi ~ $ sudo tail /var/log/apache2/error.log
      [Tue May 27 22:09:05 2014] [error] [client 127.0.0.1] File does not exist: /var/www/favicon.ico
      [Tue May 27 22:09:09 2014] [error] [client 127.0.0.1] File does not exist: /home/wims/public_html/gifs/themes/default/icon.css, referer: http://127.0.0.1/wims/wims.cgi?session=JI56ED8521.5&+lang=fr&+module=adm%2Fclass%2Fclasses&+type=participant&+keyword=
      [Tue May 27 22:09:10 2014] [error] [client 127.0.0.1] File does not exist: /var/www/favicon.ico
      [Tue May 27 22:09:10 2014] [error] [client 127.0.0.1] File does not exist: /var/www/favicon.ico
      [Tue May 27 22:09:12 2014] [error] [client 127.0.0.1] File does not exist: /home/wims/public_html/gifs/themes/default/icon.css, referer: http://127.0.0.1/wims/wims.cgi?session=JI56ED8521.6&+lang=fr&+module=adm%2Fclass%2Fclasses&+type=authparticipant&+class=9472233&+subclass=yes
      [Tue May 27 22:09:13 2014] [error] [client 127.0.0.1] File does not exist: /var/www/favicon.ico
      [Tue May 27 22:09:13 2014] [error] [client 127.0.0.1] File does not exist: /var/www/favicon.ico
      [Tue May 27 22:09:22 2014] [error] [client 127.0.0.1] Premature end of script headers: wims.cgi, referer: http://127.0.0.1/wims/wims.cgi?session=JI56ED8521.6&+lang=fr&+module=adm%2Fclass%2Fclasses&+type=authparticipant&+class=9472233&+subclass=yes
      [Tue May 27 22:09:23 2014] [error] [client 127.0.0.1] File does not exist: /var/www/favicon.ico
      [Tue May 27 22:09:23 2014] [error] [client 127.0.0.1] File does not exist: /var/www/favicon.ico
      ——————————————————————————————–

      Mickaël

    • #2234
      bernadette
      Maître des clés
      Up
      0
      Down
      ::

      Bonjour

      Oui, c’est Premature end of script headers: wims.cgi,
      Mais cela ne donne pas d’autres renseignements.
      On va essayer de voir avec Olivier, cela sera plus facile pour déboguer.
      Merci de tous ces rapports !
      Il est possible que les capacités de raspberrypi ne soient pas suffisantes
      ou que quelque chose se passe mal avec cette configuration (cela, c’est sûr !).

      Bernadette

    • #2235
      bernadette
      Maître des clés
      Up
      0
      Down
      ::

      Une question, quand même. Est-ce qu’il y a le même problème quand on entre dans une classe ouverte comme élève (anonymous) ?

      Bernadette

    • #2236
      Mickael Marmot
      Participant
      Up
      0
      Down
      ::

      Oui oui je rencontre la même erreur quand j’essaye de rentrer dans les classes ouvertes pré existantes.

      Mickaël

    • #2239
      Avatar photoOlivier
      Maître des clés
      Up
      0
      Down
      ::

      Bonjour,
      Grâce à l’aide de Bernadette, j’ai pu un peu plus cibler le problème, sans pour autant le résoudre malheureusement.

      Il semble provenir d’un défaut de communication entre Wims et Wimslogd (démon de wims), qui communiquent grâce à un fichier d’échange (socket).
      Le contenu de ces échanges semble ne pas convenir, je ne sais pas encore pourquoi.

      Le « plantage » se produit très exactement dans le fichier « score.c », à la ligne 78 : (dans la fonction « getscoreuser » )

      s+=rscore[k].require*rscore[k].weight;

      ici, rscore est obtenu via wimslogd, mais rscore[k].require est impossible à obtenir (un défaut d’adressage visiblement)

      Pour ma part, je suis plus habitué aux langages plus récent, et j’avoue ne pas pouvoir aller plus loin en C. Il faudra l’aide d’un spécialiste pour débloquer la situation.

      Le prochain colloque WIMS arrive a grand pas.. Gageons que quelqu’un nous fera avancer la bas 😉

      • Cette réponse a été modifiée le il y a 9 années et 10 mois par Avatar photoOlivier.
      • Cette réponse a été modifiée le il y a 9 années et 10 mois par Avatar photoOlivier.
      • Cette réponse a été modifiée le il y a 9 années et 10 mois par Avatar photoOlivier.
      • Cette réponse a été modifiée le il y a 9 années et 10 mois par Avatar photoOlivier.

      Olivier Bado-Faustin / Université Côte d’Azur

    • #2244
      Mickael Marmot
      Participant
      Up
      0
      Down
      ::

      Merci à Bernadette et à toi d’avoir d’avoir recherché aussi activement l’origine du bug.
      Je ne peux guère vous aider vu mes faibles connaissances dans le sujet.
      J’attendrai donc depuis la Guyane les fruits de vos rencontres au colloque de la mi-juin.

      En revanche quelque chose m’intrigue dans ce bug.
      Il existe sur toutes les versions de WIMS apparemment : même la plus récente n’y échappe pas.
      Pourtant selon le tuto, Wims fonctionne parfaitement sur Debian … Raspbian ne faisant que reprendre la base de Debian … je ne comprends pas pourquoi ce bug existe spécifiquement sur Raspbian.
      Je ne pense pas que les perfs très modestes du Raspberry pi soient en cause puisqu’en mode « enseignants » on arrive à faire tourner les exos.
      Je vais tenter l’install de wims sur mon pc sous windows en faisant un dual-boot avec Debian …. histoire de voir si wims tourne bien à 100% sous debian.

      Mickaël

      • #2246
        Avatar photoOlivier
        Maître des clés
        Up
        0
        Down
        ::

        Je vais tenter l’install de wims sur mon pc sous windows en faisant un dual-boot avec Debian …. histoire de voir si wims tourne bien à 100% sous debian.

        Cela fait maintenant 6 ans que j’ai commencé à gérer un serveur WIMS. J’en gère aujourd’hui 4 en parallèle, tous sous Debian (certain en Debian 6, d’autre en Debian 7… Et je peux vous assurer a 100% que WIMS y fonctionne sans soucis 😉
        C’est la toute premiere fois que je vois ce bug. Même si je vous avoue que je suis moi aussi perplexe, ne voyant pas la spécificité du Raspberry Pi, ou de Raspbian, qui pourrait causer ce bug. Il serait intéressant d’installer Debian directement sur le Raspberry pour savoir si cela se produit aussi. on saurait ainsi si cela vient d’une spécificité de Rasbian ou du Raspberry.

        Olivier Bado-Faustin / Université Côte d’Azur

    • #2245
      bernadette
      Maître des clés
      Up
      0
      Down
      ::

      Si tu vas dans la zone « Notes » tu auras le bug. Il y a une commande wims qui demande des échanges « sockets » et c’est là que cela bogue. Je ne pense pas que cela soit une version de WIMS finalement qui soit en cause. Ou alors un problème qui n’était jamais apparu avant.

      Bernadette

    • #2247
      Mickael Marmot
      Participant
      Up
      0
      Down
      ::

      Je vais installer Debian 6 en direct sur mon Raspberry mais il me semble que sur certains sites comme celui-là : http://www.tomshardware.fr/articles/raspbian-debian-raspberry,1-44199.html

      on précise que raspbian augmente les perfs du proc jusqu’à 47% vu qu’il gère le FPU ce que le debian adapté à l’architecture ARMv6 ne fait pas.

      Je vais tout de même tenter le coup avec un debian 6 sur le raspi histoire de m’occuper en attendant que wims soit débogué.
      Je donnerai des nouvelles sur l’impact de l’utilisation de debian 6 sur le fonctionnement de wims.

      PS: J’installerai aussi debian 7 pour voir s’il est vraiment incompatible avec le raspi.

      Mickaël

    • #2248
      Avatar photoOlivier
      Maître des clés
      Up
      0
      Down
      ::

      Bonjour,
      Je n’ai pas résolu le souci mais j’ai un peu décortiqué le truc.
      En fait, la spécificité du Raspberry est sa manière de gérer les nombres à virgule (float). Le Raspberry ne fonctionne pas sur une architecture processeur classique (type Intel), mais sur un processeur ARM, ce qui explique ces différences. (et aussi pourquoi on y installe une version modifiée de Debian)
      Bref, dès que WIMS tente d’accéder à un nombre en virgule flottante directement en mémoire, ca crash, avec une erreur du type « Bus Error ».

      Olivier Bado-Faustin / Université Côte d’Azur

      • #2249
        Mickael Marmot
        Participant
        Up
        0
        Down
        ::

        C’est histoire de virgule flottante :c’est le FPU (je crois) —> c’est pour cela que le raspi a besoin d’un debian optimisé qui tourne sur Armv6 mais qui gère en matériel la virgule flottante le bien nommé Raspbian.

        La solution serait d’abandonner Raspbian et ses optimisations pour Raspberry (gestion matérielle de la virgule flottante) pour lui préférer un débian 6.0.9 ( distrib Armel pour Proc Armv6 avec une gestion logicielle de la virgule flottante).

        J’y avais déjà pensé :
        -j’ai trouvé le .iso du CD d’install de cette ancienne version de debian ici : http://cdimage.debian.org/mirror/cdimage/archive/6.0.9/armel/
        (c’est déjà un miracle que je l’ai trouvée quand on sait que dès qu’une nouvelle version de debian sort il devient compliqué pour un novice de mettre la main sur les anciennes versions et puis je ne comprends pas pourquoi il y a 3 CD.iso pour une version ???)

        -en revanche je ne sais pas du tout comment l’installer (en fait ça ne s’installe pas du tout comme raspbian) .. je me suis donc arrété là.

        Je pense qu’avec ce debian squeeze pour Armel, wims devrait fonctionner mais les perfs devraient être très très modestes.

        Mickaël

    • #2283
      Mickael Marmot
      Participant
      Up
      0
      Down
      ::

      Des nouvelles du colloque WIMS à Dunkerque sur la question de l’installation d’un WIMS fonctionnel sur Raspberry Pi ???

      De mon côté je n’ai pas réussi à installer débian 6 sur le Raspi … ce dernier ne bootant même pas sur la clé USB.

      Mickaël

    • #2301
      Avatar photoOlivier
      Maître des clés
      Up
      0
      Down
      ::

      Des nouvelles du colloque WIMS à Dunkerque sur la question de l’installation d’un WIMS fonctionnel sur Raspberry Pi ???

      Bonjour,
      Pas de solution pour le moment, mais des pistes à explorer.
      Ca ne se fera pas tout de suite malheureusement, mais j’ai toujours bon espoir d’avoir un serveur PiWIMS fonctionnel à la rentrée prochaine.

      En attendant, sachez que Georges Khaznadar a présenté lors d’un atelier un serveur WIMS sur une clé USB, qui vous permet de transformer votre ordinateur en serveur WIMS (il redémarre sur la clé). C’est une solution a moindre cout, qui a le mérite de fonctionner dès à présent.

      Olivier Bado-Faustin / Université Côte d’Azur

    • #2348
      Mickael Marmot
      Participant
      Up
      0
      Down
      ::

      La nouvelle version de raspbian est sortie la semaine dernière : http://www.raspberrypi.org/downloads/

      Peut-être que le bug est résolu sur cette nouvelle release ….. j’en doute mais j’essayerai quand même.

      Mickaël

    • #2414
      Mickael Marmot
      Participant
      Up
      0
      Down
      ::

      Les vacances touchent à leur fin et je n’ai pas touché à mon raspberry pi depuis des lustres.
      J’écris ce post pour up le thread.
      La solution de Georges Khaznadar est plutôt impressionnante mais j’ai vraiment envie de voir WIMS tourner sur raspberry pi.

      PS: un tout nouveau modèle de raspi est sorti, le type B+ …. il ne faut pas trops sauter de joie car il embarque exactement les mêmes composants que le raspi type B 512 avec 2 ports USB supplémentaires .. il ne faut donc pas s’attendre à une révolution.

      Mickaël

    • #2488
      Mickael Marmot
      Participant
      Up
      0
      Down
      ::

      Salut.
      Après avoir mis beaucoup d’espoir dans le projet « piWims », j’ai dû abandonner car le FPU renégat a eu raison de mes maigres compétences.
      Après avoir tenté de glisser du côté de la clé KnoWIms de chez FreeDuc, je me suis rendu compte que cette clé bien qu’étant très bien conçue ne tournait pas correctement sur ma bécane de bureau (principalement à cause de problèmes d’affichage dus à une mauvaise gestion par la clé des pilotes de la carte graphique) … pour un projet qui se veut multi-plateforme c’est embêtant …

      Et puis …. et puis j’ai déterré une vieille carte « raspberry-like » la bien nommée Cubieboard version 1 (depuis la cubie 2 , la cubie 2 Dual card et la cubietruck sont sorties) .
      Je fais les présentations: la cubieboard, c’est quoi ?
      Dimensions : 10x6cm (ça tient dans la main comme le Raspi)
      Low-cost : 49$
      Carte : ARM board avec un socket Allwinner A10
      CPU : 1 procresseur Arm Cortex A8 cadencé à 1GHz avec 1GB of DDR3 RAM (ça c’est cool, y’a de la mémoire contrairement au Rapsi qui tourne uniquement sur la carte SD)
      GPU : Mali400, la même que le Raspi .. elle ne paye pas de mine mais elle décode des vidéos en 1080p sans le moindre mal
      1 connecteur SATA pour ceux qui veulent y mettre un DD …
      blablablabla

      Ce qui est intéressant, c’est la version du CPU … C’EST UN A8…. on est loin du Raspi (Armv6 avec son fichu FPU qui fait planter WIMS)
      On s’éloigne du Processeur du Raspi et on se rapproche un « tout tout tout tout » petit peu plus près des architectures des CPU classiques).
      De cette nouvelle renaît l’espoir car l’encombrement et le coût du dispositif me conviennent.
      Reste à installer le Débian « wheezy » adapté à la bêbête, le bien nommé « Cubian » (je me rends compte qu’il existe 1 milliard de version de Linux, c’est fou) puis à installer le serveur Wims et CubieWims aura vu le jour.
      Je tente l’expérience ce week-end et je vous tiens au courant ….
      A bientôt.

      Mickaël

    • #2489
      Avatar photoOlivier
      Maître des clés
      Up
      0
      Down
      ::

      Bonjour Mickael,
      Voila une cubieboard qui redonne de l’espoir ! 😉
      J’avoue que pour ma part, j’ai mis un peu de côté le projet Raspberry pour le moment, mais j’aimerai pouvoir a nouveau me dégager du temps en octobre.
      J’ai hâte de voir en tout cas ce que va donner ce Cubie (qui n’est pas rouge j’espère ^^)

      Olivier

      Olivier Bado-Faustin / Université Côte d’Azur

      • #2713
        Mickael Marmot
        Participant
        Up
        0
        Down
        ::

        Cubian est une merveille en terme de vitesse … on sent vraiment la différence par rapport au Raspberry Pi B.

        Par contre j’ai rencontré d’énormes difficultés à l’installation de wims sur cubain … aptitude ne trouvait aucun paquet.
        Résultat: j’ai abandonné le projet.

        Mickaël

    • #2712
      Mickael Marmot
      Participant
      Up
      0
      Down
      ::

      I’m back … avec une bonne nouvelle.

      Mon projet PiWims (nom qu’a donné Olivier à l’hébergement d’un serveur sims sur la micro-machine pas plus grosse qu’une carte bleue qu’est le Raspberry Pi) était au point mort depuis l’an dernier à cause de son fichu processeur ARM11 monocorde qui plantait Apache à cause d’une histoire de gestion de FPU.

      Tous ces soucis sont terminés puisque le Raspberry Pi nouveau est sorti il y a 3 jours.
      Attention ! Ce nouveau raspberry pi accueille un processeur ARMv7 quadcore qui gère mieux le FPU (donc plus d’Internal Error) et qui calcule jusqu’à 6 fois plus vite que l’ancien (ce petit coup de pouce n’est vraiment pas du luxe).

      J’en ai commandé une et je tenterai d’installer raspbian et wims dessus dès que je la recevrai.
      A bientôt…

      Mickaël

    • #3131
      Mickael Marmot
      Participant
      Up
      0
      Down
      ::

      Raspbian Jessie est sorti au début du mois d’octobre avec une meilleure gestion du FPU tirée de Debian Jessie ……. ce qui sur le papier devrait résoudre le problème de ERROR INTERNE qu’on rencontrait lorsqu’on installait WIMS sur raspberry Pi.

      On ne lache pas l’affaire et on tente l’installe de wims sur raspberry pi sous raspbian jessie.

      Mickaël

Vous lisez 41 fils de discussion
  • Vous devez être connecté pour répondre à ce sujet.