Minor fixes

ldap_config.json

 {
 	"comment_1": "Tout ce fichier sert à protéger les vrais champs du LDAP dans les scripts dans src/ldap. Les champs ci-dessous contiennent le nécessaire à une première connexion par exemple.",
+	"comment_tmp": "Passer en LDAPS ASAP.",
 	"server_prod": "ldap://frankiz.eleves.polytechnique.fr:389",
-	"server_dev": "ldap://localhost:389",
+	"server_dev": "ldap://129.104.201.10:389",
 
 	"comment_2": "Noms de domaines dans LDAP ; le niv d'après est en uid=, voir Wikipedia",
 	"dn_groups":"ou=groups,dc=frankiz,dc=net",

src/ldap/internal/config.ts

@@ -16,7 +16,7 @@ import colors from 'colors';
 let path_config = path.resolve(__dirname,'..', '..', '..', 'ldap_config.json');
 console.log(colors.cyan("Loading LDAP config file from "+path_config));
 export const ldapConfig = JSON.parse(fs.readFileSync(path_config).toString());
-let path_credentials = path.resolve(__dirname,'..', '..', '..', 'ldap_credentials.json')
+let path_credentials = path.resolve(__dirname,'..', '..', '..', 'ldap_credentials.json');
 console.log(colors.cyan("Loading LDAP credentials from "+path_credentials));
 export const credentialsLdapConfig = JSON.parse(fs.readFileSync(path_credentials).toString());
 // Override config server from environment