> >  However, it suddenly struck me that we could 
> >probably make most of the problem go away if we put that same wait
> >DROP DATABASE itself --- that is, if we see other backends in the 
> >target DB, sleep for a second or two and then recheck before erroring

Yup, waiting in drop database up to 10-30 secs would imho be fine.


---------------------------(end of broadcast)---------------------------
TIP 1: if posting/reading through Usenet, please send an appropriate
       subscribe-nomail command to [EMAIL PROTECTED] so that your
       message can get through to the mailing list cleanly

Reply via email to