private void Teardown() { if (this.namedPipeServer != null) { this.namedPipeServer.Dispose(); this.namedPipeServer = null; } }
private void Establish() { if (this.namedPipeServer != null) { return; } string text = Guid.NewGuid().ToString(); this.namedPipeServer = new NamedPipeServer(string.Format("{0} {1}", "-remoteServer", text), text); RectangleFRecord rectangleFRecord = (RectangleFRecord)this.namedPipeServer.RPC(new OpenRequest(this.filename, this.pageNumber)); this.pageSize = rectangleFRecord.rect; }