here's a patch for "drop database if exists". Barring objections I will apply it in a day or two.
cheers
andrew