When setting the refresh interval in the server tools to 0 (clicking on the arrows or pressing the 0 key), pgadmin3 segfaults immediately. This happens both in 1.4 and 1.5 devel.
-- Peter Eisentraut http://developer.postgresql.org/~petere/ ---------------------------(end of broadcast)--------------------------- TIP 9: In versions below 8.0, the planner will ignore your desire to choose an index scan if your joining column's datatypes do not match
