update developer-stage.mozilla.org

RESOLVED FIXED

Status

mozilla.org Graveyard
Server Operations
--
major
RESOLVED FIXED
12 years ago
3 years ago

People

(Reporter: sancus, Assigned: oremj)

Tracking

Details

(Reporter)

Description

12 years ago
I'd like to get developer-stage updated off HEAD on cvs-www with a new database pull from live.
(Reporter)

Comment 1

12 years ago
GlobalSettings.php should have the following added:

include("SpecialNutch.php");                 
$mzNutchURL = "nutch.developer.mozilla.org";

Also, in "SpecialNutch_Class.php":

Comment out "global $wgServerName;" and uncomment "//$wgServerName="developer.mozilla.org";". 

This is necessary since we're pointing this at the live search database, where all the links point to developer.mozilla.org.
(Reporter)

Comment 2

12 years ago
Do :
$mzNutchURL = "nutch.developer.mozilla.org/opensearch"

rather than the above. Oops.
(Assignee)

Updated

12 years ago
Assignee: server-ops → oremj
(Assignee)

Comment 3

12 years ago
I'm not seeing SpecialNutch.php or SpecialNutch_Class.php anywhere in CVS.
(Reporter)

Comment 4

12 years ago
They should be in devmowiki/extensions. Seem to be there as far as I can tell.
(Assignee)

Comment 5

12 years ago
Ah, didn't realize devmo moved off of that 4_6_5 branch.  Everything has been updated.
Status: NEW → RESOLVED
Last Resolved: 12 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.