Re: [9fans] replacing sources

2009-09-04 Thread Venkatesh Srinivas
Thanks! How long has the current sources server been running? -- vs

Re: [9fans] replacing sources

2009-09-04 Thread geoff
The current sources server hasn't been in service for very long. It's about the third one that I know of, and there may have been others. In the past, we just replaced the machines, as they died or became unreliable, with other machines that we already had. Haggis is a new machine and it's using

[9fans] replacing sources

2009-09-03 Thread geoff
I plan to replace sources with haggis (which will take the name sources) during the afternoon of Tuesday, Sept. 8th. I will take a final dump of sources, shut it down, change the dns, initialise haggis's sources fossil from source's final dump score, and bring haggis up as the new sources. This

Re: [9fans] replacing sources

2009-09-03 Thread Francisco J Ballesteros
Thanks a lot for maintaining it and for all the burden. On Thu, Sep 3, 2009 at 11:12 PM, ge...@plan9.bell-labs.com wrote: I plan to replace sources with haggis (which will take the name sources) during the afternoon of Tuesday, Sept. 8th.  I will take a final dump of sources, shut it down,

Re: [9fans] replacing sources

2009-09-03 Thread erik quanstrom
On Thu Sep 3 17:25:58 EDT 2009, n...@lsub.org wrote: Thanks a lot for maintaining it and for all the burden. i second that. - erik