If you think it's a good idea please include it as a low-priority TODO item.
in GoodData we have this feature implemented - little bit different named - DROP DATABASE FORCE
It is useful in complex environment with mix of pooled and not pooled connections - and in our environment - about 2K databases per server with lot of dropped / created databases per server / per day.
I can publish this patch, if there will be any interest.
last note: little bit related topic - we have some patches for CREATE DATABASE - longer waiting for locking template1 - although there are some opened issues - like any CREATE DATABASE requires checkpoint, and it is slower in our environment.