diff make-coverage.sh.in @ 1333:5d7b1650de1f

Fix pseudo resource leak in case another process is running. Pseudo because this code path leads to an immediate exit.
author Andre Heinecke <andre.heinecke@intevation.de>
date Wed, 15 Oct 2014 15:40:27 +0200
parents 5cd525fc91de
children 0f3af6916395
line wrap: on
line diff

http://wald.intevation.org/projects/trustbridge/