SYNOPSIS void clean_up_proxy() FILE /basic/proxy.c DESCRIPTION Called by the parser after a command was executed to remove objects which are now unnecessary