From 65516d9a5e971a5ff2b24cf97ed83583d6f09202 Mon Sep 17 00:00:00 2001 From: "Eric S. Raymond" Date: Fri, 5 Oct 2012 12:32:26 -0400 Subject: [PATCH] filter-test.py is sometimes failing to launch, give it more slack. --- filter-test.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/filter-test.py b/filter-test.py index 7373274..b6f7f2c 100755 --- a/filter-test.py +++ b/filter-test.py @@ -26,7 +26,7 @@ irkerd_count = len([x for x in data.split("\n") if x.find("irkerd") != -1]) if not irkerd_count: os.system("gnome-terminal --title 'irkerd' -e 'irkerd -d 2' &") -time.sleep(0.1) # Avoid a race condition +time.sleep(0.5) # Avoid a race condition print json.dumps(metadata) # end -- 2.26.2