Fixed default LDAP port

config.py.example

@@ -24,7 +24,7 @@ SQLITE_INIT_DATA = True
 #JOBS_API_KEY = 'something random'
 
 #LDAP_HOST = 'rumo.fsmpi.rwth-aachen.de'
-LDAP_PORT = '636'
+LDAP_PORT = 636
 #ICAL_URL = 'https://user:password@mail.fsmpi.rwth-aachen.de/SOGo/....ics'
 ERROR_PAGE = 'static/500.html'
 RWTH_IP_RANGES = ['134.130.0.0/16', '137.226.0.0/16', '134.61.0.0/16', '192.35.229.0/24', '2a00:8a60::/32']