Parcourir la source

Properties pour le caractère de commande

Martin Passard il y a 7 ans
Parent
commit
b156ec7c81
2 fichiers modifiés avec 8 ajouts et 5 suppressions
  1. 3 0
      ressources/config/default.properties
  2. 5 5
      src/main/PropertiesSetter.java

+ 3 - 0
ressources/config/default.properties

@@ -34,3 +34,6 @@ Debug=false;
 Minimum_time_beetween_+reload=360
 #Time between each autoreload in seconds
 CacheReloader_timeout=3600
+
+## Actions settings
+Caractere_commmand=-

+ 5 - 5
src/main/PropertiesSetter.java

@@ -6,6 +6,7 @@ import java.io.FileReader;
 import java.io.IOException;
 import java.util.Properties;
 
+import actions.Action;
 import verif_saisie.EntierPositifNonVide;
 
 
@@ -63,14 +64,13 @@ public class PropertiesSetter {
 		Cache.setTIME_BETWEEN_RELOADS(1000*Long.parseLong(prop.getProperty("Minimum_time_beetween_+reload")));
 		
 		cr.setTimeout(Long.parseLong(prop.getProperty("CacheReloader_timeout")));
-
+		
+		if(prop.getProperty("Caractere_command") != null) {
+			Action.CARACTERE_COMMANDE=prop.getProperty("Caractere_command").charAt(0);
+		}
 		return true;
 	}
 	
-	
-	
-	
-	
 	private String[] getMultipleValues(Properties prop, String key) {
 		return prop.getProperty(key).split(",");
 	}