Same database name

hello,

We are running mysql 4.1.18

Is there a way to prevent users from creating the same database name?
for example
our name schema goes like: mysql_1234, mysql_32143, mysql_....
But we found out that some one could create MYSQL_1234 while mysql_1234
already exists.
I guess what we need to know is that if there is away for mysql to not
allow same names even though its different case characters.

thanks,
Javier.