Josh Berkus wrote:
>> Well I don't mind push but I still think pop is an error. What you
>> really want to do is restore it to the value you started with. You
>> don't want to remove the last element since that may not be the
>> element you added. Some function you called may have added an extra
>> element on the head.
>
> Yeah, "pop" is a misnomer; what I'd want is
> search_path_del(search_path,'admin') ... that is, a way to remove a
> specific schema from the list.
Except that "del" shouldn't delete if your "push" didn't add it because
it was already present. So you actually want some sort of refcounting
there somehow.
--
Alvaro Herrera http://www.CommandPrompt.com/
The PostgreSQL Company - Command Prompt, Inc.