$val) { switch($val["type"]) { case "bool": if(isset($_REQUEST["$key"])) { $pushval = 1; } else { $pushval = 0; } break; default: $pushval = $_REQUEST["$key"]; } error_log("pushing value, $pushval for $key"); gwvp_setConfigVal($key, $pushval); } gwvp_SendMessage("info", "Configuration Updated"); header("Location: $BASE_URL/admin/config"); } function gwvp_ConfigPageBody() { global $CONFIG_VARS, $BASE_URL; echo "