#!/usr/bin/php $value) { $iniString .= "$key=\"$value\"\n"; } /* Write the INI string to the plugin config file. */ file_put_contents($plg_config_file, $iniString); /* Let things settle. */ sleep(1); /* Now run the proxy setup script. */ if (is_executable("/usr/local/sbin/set_proxy")) { exec("/usr/local/sbin/set_proxy 1>/dev/null"); outgoingproxy_log("'set_proxy' script executed"); } else { outgoingproxy_log("'set_proxy' script does not exist"); } } /* Main entry point, */ switch ($argv[1]) { case 'apply': apply(); break; default: echo("Error: 'outgoingproxy {$argv[1]}' not understood\n"); echo("outgoingproxy usage: 'apply'\n"); exit(0); break; } ?>