Allow GEQO effort to be specified numerically, as well as

symbolic LOW/MEDIUM/HIGH values --- needed for experiments with other
effort levels ...

diff --git a/src/backend/optimizer/geqo/geqo_params.c b/src/backend/optimizer/geqo/geqo_params.c
index 51be84830cc0314b86a7eec8924f06dbc37427e7..e1dbbebc72b737f1f13946c3c196203512d49047 100644 (file)
--- a/src/backend/optimizer/geqo/geqo_params.c
+++ b/src/backend/optimizer/geqo/geqo_params.c
@@ -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);
                                }
 
                        }