Status

mozilla.org Graveyard
Server Operations
RESOLVED FIXED
11 years ago
3 years ago

People

(Reporter: Hixie (not reading bugmail), Assigned: reed)

Tracking

Details

(Reporter)

Description

11 years ago
Several times today I've gotten this message or similar messages:
"You edited version 1.126 of the file, but version 1.127 is in the repository."
Is Doctor reading from cvs-mirror but writing to cvs, or something? It's annoying. :-)
(In reply to comment #0)
> Several times today I've gotten this message or similar messages:
> "You edited version 1.126 of the file, but version 1.127 is in the repository."
> Is Doctor reading from cvs-mirror but writing to cvs, or something? It's
> annoying. :-)

I think d.m.o does indeed read from cvs-mirror (it used to anyway), but the other time you can get this error is when you start editing a file and then someone checks in a change.  Unfortunately Doctor is dumb about this; it should just merge your changes (if possible), but instead it gives up and displays that error message.
(Reporter)

Comment 2

11 years ago
Nobody else is editing this file (it's the XBL spec). My editing scenario is one in which I check in multiple changes in rapid succession, so the cvs-mirror lag is highly likely to affect me.
(In reply to comment #2)
> Nobody else is editing this file (it's the XBL spec). My editing scenario is
> one in which I check in multiple changes in rapid succession, so the cvs-mirror
> lag is highly likely to affect me.

Perhaps d.m.o should use cvs.mozilla.org instead of cvs-mirror.mozilla.org when reading files, then.
(Assignee)

Comment 4

10 years ago
This can be done now.
Assignee: myk → server-ops
Component: Doctor → Server Operations
OS: Linux → All
Product: Webtools → mozilla.org
QA Contact: doctor → justin
Hardware: PC → All
Version: Trunk → other
(Assignee)

Updated

10 years ago
Assignee: server-ops → reed
(Assignee)

Comment 5

10 years ago
doctor.mozilla.org now uses cvs.m.o for read access.
Status: NEW → RESOLVED
Last Resolved: 10 years ago
Resolution: --- → FIXED
Product: mozilla.org → mozilla.org Graveyard
You need to log in before you can comment on or make changes to this bug.