diff options
| author | Tom Lane | 1999-05-22 19:29:01 +0000 |
|---|---|---|
| committer | Tom Lane | 1999-05-22 19:29:01 +0000 |
| commit | b21005fa7cf2fb2c319b48d1b7669239553360a5 (patch) | |
| tree | 876abf1c090f30a8faae119f0739b6f403aee230 | |
| parent | cf1478982cbe5637f0e78f88a28bf5d8ecfb389f (diff) | |
Allow GEQO effort to be specified numerically, as well as
symbolic LOW/MEDIUM/HIGH values --- needed for experiments with other
effort levels ...
| -rw-r--r-- | src/backend/optimizer/geqo/geqo_params.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/backend/optimizer/geqo/geqo_params.c b/src/backend/optimizer/geqo/geqo_params.c index 130b6355ac..d2a4ab56d9 100644 --- a/src/backend/optimizer/geqo/geqo_params.c +++ b/src/backend/optimizer/geqo/geqo_params.c @@ -5,7 +5,7 @@ * * Copyright (c) 1994, Regents of the University of California * -* $Id: geqo_params.c,v 1.15 1999/05/17 00:25:33 tgl Exp $ +* $Id: geqo_params.c,v 1.16 1999/05/22 19:29:01 tgl Exp $ * *------------------------------------------------------------------------- */ @@ -168,6 +168,9 @@ geqo_params(int string_length) effort = MEDIUM_EFFORT; else if (strcmp(buf, HIGH) == 0) effort = HIGH_EFFORT; + /* undocumented extension: specify effort numerically */ + else if (isdigit(buf[0])) + effort = atoi(buf); } } |