On Mon, 2007-28-05 at 15:24 -0400, Tom Lane wrote: > readline has much more functionality
Fair enough, that's probably a good enough reason to leave things as they are for now. -Neil ---------------------------(end of broadcast)--------------------------- TIP 5: don't forget to increase your free space map settings