From 71ffd842db6e022f1ff1496faf57568635bcee26 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jaime=20Mart=C3=ADnez=20Rinc=C3=B3n?=
 <mrjaime1999@gmail.com>
Date: Fri, 29 Dec 2017 12:02:56 +0100
Subject: [PATCH] Updated provider names

---
 Main Plugin/src/main/resources/default.conf | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Main Plugin/src/main/resources/default.conf b/Main Plugin/src/main/resources/default.conf
index b584cb0..8e2b4ed 100644
--- a/Main Plugin/src/main/resources/default.conf	
+++ b/Main Plugin/src/main/resources/default.conf	
@@ -77,7 +77,7 @@ features {
 
       skywars-lobbies {
         parent="general-lobbies"
-        provider=LOWEST
+        provider=PROGRESSIVE_LOWEST
         servers=[
           "SWLobby1",
           "SWLobby2",
@@ -87,7 +87,7 @@ features {
 
       skywars-games {
         parent="skywars-lobbies"
-        provider=FILLER
+        provider=RANDOM_FILLER
         servers=["SW_A[1-5]", "SW_B[1-5]"]
         section-server=playskywars
         section-command {