By mistake, this programmer used a die() call when an error() was much more appropriate. Code reuse was not possible, hence this fix. Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de> --- On Mon, 9 Jun 2008, Olivier Marin wrote: > Johannes Schindelin a
