Alvaro Herrera <alvherre@xxxxxxxxxxxxxxxxx> writes: > Perhaps make them emit a WARNING at server start or something. I concur with Greg Stark's earlier comment that this is all overreaction. Let's just fix the misleading comment in the documentation and leave it at that. regards, tom lane ---------------------------(end of broadcast)--------------------------- TIP 5: don't forget to increase your free space map settings
