From 128597ee7ea4cf570afa3c6f09bafe621f2a60a7 Mon Sep 17 00:00:00 2001 From: Bernardo Damele Date: Wed, 19 Dec 2012 12:45:46 +0000 Subject: [PATCH] --run-case is now case insensitive --- lib/core/testing.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/core/testing.py b/lib/core/testing.py index 906865a9d..fdb036530 100644 --- a/lib/core/testing.py +++ b/lib/core/testing.py @@ -129,7 +129,7 @@ def liveTest(): if case.hasAttribute("name"): name = case.getAttribute("name") - if conf.runCase and ((conf.runCase.isdigit() and conf.runCase != count) or not re.search(conf.runCase, name, re.DOTALL)): + if conf.runCase and ((conf.runCase.isdigit() and conf.runCase != count) or not re.search(conf.runCase, name, re.DOTALL | re.I)): continue if case.getElementsByTagName("switches"):