1 2
/* This file is automatically generated by configure. Do not modify by hand. */ if (should_init("proxy")) shutdown_proxy();