[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[jetty-commit] [Git@Eclipse] Jetty: primary project repository branch master updated. jetty-7.6.2.v20120302-187-g0ab47e4

The branch, master has been updated
       via  0ab47e41bc7a59d4814ca720a9009af03a3fc27f (commit)
      from  c66f3d2a9d4b15eadbe2be0613005280536b5e10 (commit)


- Log -----------------------------------------------------------------
commit 0ab47e41bc7a59d4814ca720a9009af03a3fc27f
Author: Simone Bordet <simone.bordet@xxxxxxxxx>
Date:   Thu Mar 8 11:42:14 2012 +0100

    Fixed NPE in case user agent pattern does not match.

-----------------------------------------------------------------------

Summary of changes:
 .../eclipse/jetty/servlets/UserAgentFilter.java    |   43 +++++++++-----------
 1 files changed, 19 insertions(+), 24 deletions(-)


hooks/post-receive
-- 
Jetty: primary project repository