From: Heikki Levanto <heikki@indexdata.dk>
Date: Wed, 30 Jul 2014 12:33:35 +0000 (+0200)
Subject: MP-559: Fix race condition with SIGTERM.
X-Git-Tag: v1.5.8~1
X-Git-Url: http://lists.indexdata.com/cgi-bin?a=commitdiff_plain;h=638d2456bbbba9cb8f31fbbb6ca39ad090e3c223;hp=638d2456bbbba9cb8f31fbbb6ca39ad090e3c223;p=metaproxy-moved-to-github.git

MP-559: Fix race condition with SIGTERM.
---