diff configure @ 36925:f0dd7b34f56e

Don't unnecessarily create a (void) cursor. Create it only if it hasn't already be done. This also prevents memory leaks and allows multiple calls (having no effect then).
author ib
date Wed, 19 Mar 2014 13:54:54 +0000
parents 5e22164b4b82
children 382af432ec40
line wrap: on
line diff