Simple modification to DSpace to allow IP-based authorization while Tomcat is behind a proxy

dspace-IPAuthentication.java.diff

184c184
<         String addr = request.getRemoteAddr();
---
>         String addr = request.getHeader("x-real-ip");
>         if (addr == null) {
>           addr = request.getRemoteAddr();
>         }