From 99c70d5ada4e090756dd2182fbe746f6ba6d3a8b Mon Sep 17 00:00:00 2001
From: grouille <guillaume.rouille@polytech-lille.net>
Date: Mon, 27 Apr 2020 15:55:44 +0200
Subject: [PATCH] MAJ

---
 site/stop.php | 11 +----------
 1 file changed, 1 insertion(+), 10 deletions(-)

diff --git a/site/stop.php b/site/stop.php
index de02182..4648fe0 100644
--- a/site/stop.php
+++ b/site/stop.php
@@ -1,15 +1,6 @@
 <?php
 require_once("accesBase.php");
-
-$errors = array();
-$errors[0] = "Le Raspberry Pi n'a pas été trouvé.",
-$errors[1] = "Erreur lors de l'exécution d'Ansible.",
-$errors[2] = "Echec de l'exécution sur un ou plusieurs Raspberry Pi.",
-$errors[3] = "Un ou plusieurs Raspberry Pi est injoignable.",
-$errors[4] = "Erreur de syntaxe Ansible.",
-$errors[5] = "Mauvaises ou incomplètes options.",
-$errors[99] = "Exécution interrompue par l'utilisateur.",
-$errors[250] = "Erreur inattendue."
+require("erreurs.php");
 
 $arduino_simple = "[Arduino]\r\n";
 $arduino_spi = "[Arduino]\r\n";
--
libgit2 0.21.2