« SPARQL Protocol and RDF Query Language/Travail pratique/Faire un serveur SPARQL » : différence entre les versions

Contenu supprimé Contenu ajouté
Correction numero port de l'exemple
Ligne 300 :
4Store ne se lance pas automatiquement au démarrage de votre ordinateur. Or, cela est indispensable si l'on veut avoir un service robuste qui redémarre en même temps que son serveur (et cela évitera de le redémarrer manuellement durant les prochains TP).
 
=== Installation ===
{{...}}
=== Installation (niveau expert) ===
On commence par créer notre base de données, ou silo de données, qui contiendra nos graphes. On va l'appeler "DefaultKB" (KB pour KnowledgeBase).
<source lang="bash">
Ligne 308 ⟶ 310 :
On va maintenant fabriquer rapidement un service 4Store pour démarrer et arrêter le service SPARQL avec la base de données "DefaultKB".
 
==== Debian/Ubuntu ====
On fabrique le script pour lancer le service automatiquement au démarrage du serveur :
<source lang="bash">
Ligne 367 ⟶ 370 :
esac
exit 0
</source>
On autorise l'exécution de ce script :
<source lang="bash">
sudo chmod 0755 /etc/init.d/4s-httpd
</source>
 
On teste le service :
<source lang="bash">
sudo service 4s-httpd start
</source>
 
On vérifie que les processus 4s-httpd et 4s-backend ont démarré (il peut y avoir plusieurs processus 4s-httpd ou backend) avec la commande suivante :
<source lang="bash">
ps -AL | grep 4s
</source>
 
On vérifie que le serveur fonctionne avec le lien : http://localhost:8081/status
<source lang="bash">
sudo service 4s-httpd stop
</source>
 
On vérifie que le serveur s'est arrêté avec le même lien, qui doit afficher "serveur inconnu" ou "incapable de se connecter".
 
On déclare le service 4s-httpd au système et on le lance pour la dernière fois manuellement.
<source lang="bash">
sudo update-rc.d 4s-httpd defaults
sudo service 4s-httpd start
</source>
 
==== RHEL/CentOS ====
CodeExemple de code pour un système Archlinux:
<source lang="bash">
#! /bin/bash
Ligne 458 ⟶ 489 :
On déclare le service 4s-httpd au système et on le lance pour la dernière fois manuellement.
<source lang="bash">
sudo update-rc.d/sbin/chkconfig 4s-httpd defaultson
sudo service 4s-httpd start
</source>