# HG changeset patch
# User Gilles Moris <gilles.moris@free.fr>
# Date 1287581555 -7200
# Node ID 60d9692921ea0faf9baba37e291efd719e01d070
# Parent  9d6adddc8eea21e1f931876581af7e2445331b06
log: do case insensitive search for --user option

diff -r 9d6adddc8eea -r 60d9692921ea mercurial/commands.py
--- a/mercurial/commands.py	Tue Oct 26 14:41:58 2010 +0300
+++ b/mercurial/commands.py	Wed Oct 20 15:32:35 2010 +0200
@@ -2497,7 +2497,8 @@
             return
         if df and not df(ctx.date()[0]):
             return
-        if opts['user'] and not [k for k in opts['user'] if k in ctx.user()]:
+        if opts['user'] and not [k for k in opts['user']
+                                 if k.lower() in ctx.user().lower()]:
             return
         if opts.get('keyword'):
             for k in [kw.lower() for kw in opts['keyword']]: