[pgadmin-hackers] CVS server moved

2004-12-13 Thread Dave Page
I've moved the CVS server onto developer.pgadmin.org to save an IP address. DNS has been updated, but it might take a day or so to propagate of course. Any problems, please let me know. Regards, Dave. ---(end of broadcast)--- TIP 5: Have you checke

Re: [pgadmin-hackers] CVS Server Changes

2003-12-16 Thread Dave Page
> -Original Message- > From: Andreas Pflug [mailto:[EMAIL PROTECTED] > Sent: 16 December 2003 16:54 > To: Dave Page > Cc: [EMAIL PROTECTED] > Subject: Re: [pgadmin-hackers] CVS Server Changes > > > At the moment, I'm quite busy (non-pgadmin stu

Re: [pgadmin-hackers] CVS Server Changes

2003-12-16 Thread Andreas Pflug
Dave Page wrote: Hi Guys, At some point in the near future I need to move the pgAdmin CVS repository to a new machine. There are 2 issues to consider: 1) The DNS must be updated and will take time to propagate. 2) The CVSROOT is going to change to :pserver:[EMAIL PROTECTED]/projects/ I want to t

[pgadmin-hackers] CVS Server Changes

2003-12-16 Thread Dave Page
Hi Guys, At some point in the near future I need to move the pgAdmin CVS repository to a new machine. There are 2 issues to consider: 1) The DNS must be updated and will take time to propagate. 2) The CVSROOT is going to change to :pserver:[EMAIL PROTECTED]/projects/ I want to try to arrange th

Re: [pgadmin-hackers] CVS server

2003-06-15 Thread Dave Page
It's rumoured that Adam H. Pendleton once said: > Is the CVS server down? No, there's some routing issues on our ISPs network. They have a terribly complex network (mainly because *every* customer has a static IP address, and with POPs around the country with no restriction on which each customer

[pgadmin-hackers] CVS server

2003-06-13 Thread Adam H. Pendleton
Is the CVS server down? ahp ---(end of broadcast)--- TIP 9: most folks find a random_page_cost between 1 or 2 is ideal

[pgadmin-hackers] CVS Server IP address change

2003-03-17 Thread Dave Page
Hi All, Sometime this week the pgAdmin CVS server (cvs.pgadmin.org) will be moving onto a new net connection. With DNS propagation etc, and the need to keep other services on the same box running as much as possible, it is difficult to predict when the change will take effect, so please bear with