Accueil › Forums › Gestion d’un serveur WIMS › Administration d’un serveur WIMS › Mise à jour › Reply To: Mise à jour
14 septembre 2013 à 11:31
#1664
Olivier
Maître des clés
::
Si, comme Sebastien, vous avez l’erreur suivante : `cp: impossible de créer le fichier standard « ../../public_html/bin/pari »: Fichier texte occupé
cp: impossible de créer le fichier standard « ../../public_html/bin/maxima »: Fichier texte occupé`
C’est probablement que vous avez certains processus zombie des logiciels tiers (pari/maxima).
Voici un petit script qui vous permettra de tuer tous ces zombies, et ainsi faire la compilation sans souci. (personnellement je lance ce script tous les jours avec un cron pour faire un peu de ménage)
#!/bin/sh
killall maxima pari gap octave 2>/dev/null
echo wims-cron-kill done.
exit 0
- Cette réponse a été modifiée le il y a 11 années et 2 mois par Olivier.
Olivier Bado-Faustin / Université Côte d’Azur