Skip to content

Instantly share code, notes, and snippets.

@cmangeat
cmangeat / clean_ghost_ldap_users.py
Last active August 7, 2018 11:59
remove non existent users form roles
from ldap3 import Connection, SUBTREE, MODIFY_DELETE
from ldap3.core.exceptions import LDAPException
LDAP_URI = 'ldap://localhost:3899'
BIND_WITH_CREDENTIALS = True
LDAP_BINDDN = 'cn=admin,dc=georchestra,dc=org'
LDAP_PASSWD = 'secret'
USERS_DN = 'ou=users,dc=georchestra,dc=org'
ROLES_DN = 'ou=roles,dc=georchestra,dc=org'
@cmangeat
cmangeat / geos-7946-no-ignore-case.patch
Created April 3, 2017 15:46
geos-7946-no-ignore-case
diff --git a/src/platform/src/main/java/org/geoserver/platform/resource/Files.java b/src/platform/src/main/java/org/geoserver/platform/resource/Files.java
index 3a5655b..f54d78b 100644
--- a/src/platform/src/main/java/org/geoserver/platform/resource/Files.java
+++ b/src/platform/src/main/java/org/geoserver/platform/resource/Files.java
@@ -380,7 +380,7 @@ public final class Files {
throw new NullPointerException("File dest required");
}
// same path? Do nothing
- if (source.getCanonicalPath().equalsIgnoreCase(dest.getCanonicalPath())){
+ if (source.getCanonicalPath().equals(dest.getCanonicalPath())){