* Set a config option to the given value. * * See also set_config_option; this is just the wrapper to be called from * outside GUC. (This function should be used when possible, because its API * is more stable than set_config_option's.) * * Note: there is no support here for setting source file/line, as it * is currently not needed. */
| 8437 | * is currently not needed. |
| 8438 | */ |
| 8439 | void |
| 8440 | SetConfigOption(const char *name, const char *value, |
| 8441 | GucContext context, GucSource source) |
| 8442 | { |
| 8443 | (void) set_config_option(name, value, context, source, |
| 8444 | GUC_ACTION_SET, true, 0, false); |
| 8445 | } |
| 8446 | |
| 8447 | |
| 8448 |