DIRECTORY GVBasics USING[ RName ], PupDefs USING[ PupAddress ]; GVLocate: CEDAR DEFINITIONS = BEGIN FoundState: TYPE = { allDown, notFound, found }; FoundServerInfo: TYPE = RECORD[ SELECT t: FoundState FROM allDown => NULL, notFound => NULL, found => [where: PupDefs.PupAddress], ENDCASE ]; FindNearestServer: PROC[list: GVBasics.RName, accept: PROC[PupDefs.PupAddress]RETURNS[BOOLEAN] ] RETURNS[ FoundServerInfo ]; FindLocalServer: PROC[listl: GVBasics.RName ] RETURNS[ FoundState, GVBasics.RName ]; FindRegServer: PROC[ who: GVBasics.RName, accept: PROCEDURE[PupDefs.PupAddress]RETURNS[BOOLEAN] ] RETURNS[ FoundServerInfo ]; AcceptFirst: PROC[PupDefs.PupAddress]RETURNS[BOOLEAN]; END. rGrapevineUser (Cedar) - Location of servers GVLocate.mesa Andrew Birrell May 13, 1983 1:29 pm returns TRUE Ę;˜Jšœ+™+Jšœ ™ Jšœ$™$J˜šĎk ˜ Jšœ œ ˜Jšœœ˜—J˜Jšœ œ˜J˜Jš˜J˜Jšœ œ ˜0J˜šœœœ˜šœ˜Jšœ œ˜Jšœ œ˜J˜%—Jšœ˜ J˜—š Ďnœœœœœœ˜|J˜—šžœœœ˜TJ˜—š ž œœ œœœœ˜}J˜—šž œœœœ˜6Jšœ ™ J˜—Jšœ˜—…—şg