From 4c5ef8d0364e0e3f1590f24e064c4ba7c723a37d Mon Sep 17 00:00:00 2001
From: Thomas de Roo <thomas@de-roo.org>
Date: Mon, 24 Apr 2023 11:51:05 +0200
Subject: [PATCH] Servers toegevoegd

---
 rebootSchedule.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rebootSchedule.sh b/rebootSchedule.sh
index 5c12a77..c5376a1 100644
--- a/rebootSchedule.sh
+++ b/rebootSchedule.sh
@@ -5,7 +5,7 @@
 FIRST=("fs01")
 SECOND=("web06" "web03" "mail02")
 THIRD=("net02" "net03" "net04" "net05")
-REST=("git01" "run01")
+REST=("git01" "run01" "has01" "iam01" "man01" "mdm01" "minecraft" "nms01" "pbx01" "rpi03" "web04" "web05" "web07" )
 
 for SERVER in ${FIRST[@]}; do
   echo Starting reboot of $SERVER