[Olivier]

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 11 années par Olivier.
• Cette réponse a été modifiée le il y a 11 années par Olivier.
• Cette réponse a été modifiée le il y a 11 années par Olivier.
• Cette réponse a été modifiée le il y a 11 années par Olivier.

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

[Olivier]

Up

0

Down

::

Mickael Marmot wrote:

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

[Olivier]

Up

0

Down

::

Mickael Marmot wrote:

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.

Mickael Marmot wrote:

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 11 années par Olivier.

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

[Olivier]

Up

0

Down

::

Mickael Marmot wrote:

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 11 années par Olivier.

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

[Olivier]

Up

0

Down

::

Mickael Marmot wrote:

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 11 années par Olivier.
• Cette réponse a été modifiée le il y a 11 années par Olivier.

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

[Olivier]

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

[Olivier]

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 11 années et 1 mois par Olivier.

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

[Olivier]

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

[Olivier]

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

[Olivier]

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

[Olivier]

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 11 années et 1 mois par Olivier.
• Cette réponse a été modifiée le il y a 11 années et 1 mois par Olivier. Raison: lien vers wims 4.07b

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

[Olivier]

Up

0

Down

::

Mickael Marmot wrote:

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

[Olivier]

Up

0

Down

::

Mickael Marmot wrote:

-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

[Olivier]

Up

0

Down

::

Bonjour,
Il me semble que $$ affiche un $

Le code pour remplacer les « ; » par des « $ » serait donc a priori celui-ci :
!set file1=!replace internal ; by $$ in $file1

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

[Olivier]

Up

0

Down

::

Mickael Marmot wrote:

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

[Olivier]

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

[Olivier]

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

[Olivier]

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 11 années et 1 mois par Olivier.

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

[Olivier]

Up

0

Down

::

Mickael Marmot wrote:

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

[Olivier]

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 11 années et 1 mois par Olivier.
• Cette réponse a été modifiée le il y a 11 années et 1 mois par Olivier.

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

[Auteur]

Messages