lars
committed
on 02 Oct 03
Fixed problem with usernames being not really case-sensitive, nor case-insensitive