jvdongen
committed
on 11 Jul 04
fixed bug #1985 with patch #562