<<>> <> <> <> <> <> <<>> <> <> DIRECTORY BasicTime USING [GMT, Now, nullGMT], Commander USING [CommandProc, Handle, Register], CommanderOps USING [NextArgument], DFUtilities USING [DateToRope], FileNames USING [StripVersionNumber], FS USING [Copy, defaultStreamOptions, EnumerateForInfo, Error, GetInfo, InfoProc, OpenFileFromStream, StreamOpen, StreamOptions], IO, Process USING [CheckForAbort], Rope; ChangePseudoServersImpl: CEDAR PROGRAM IMPORTS BasicTime, Commander, CommanderOps, DFUtilities, FileNames, FS, IO, Process, Rope = BEGIN <> GMT: TYPE = BasicTime.GMT; ROPE: TYPE = Rope.ROPE; STREAM: TYPE = IO.STREAM; <> PairList: TYPE = LIST OF Pair; Pair: TYPE = RECORD[oldPS, newPS: ROPE]; FileEntry: TYPE = REF FileEntryRep; FileEntryRep: TYPE = RECORD [ name: ROPE, <> localName: ROPE, <> oldDate: GMT, <> newDate: GMT ¬ BasicTime.nullGMT, <> state: FileEntryState ¬ init <> ]; FileEntryState: TYPE = {init, fetching, editing, unchanged, changed, done}; <> doc: ROPE = "dirToChange oldPS newPS {oldPS1 newPS1}* changed oldPS to newPS in df files on dirToChange "; <> < [NewCedar10.0] [Cedar10.0]>> <> <<>> <