((RemoteVarSegments) paged_).writeExternal(out);
} else {
File dataFile = paged_.getFile();
String filePath = dataFile.getAbsolutePath();
RemoteVarSegments remoteSeg = new RemoteVarSegments(RemotePagingService.PORT, filePath, false);
remoteSeg.writeExternal(out);
}
}
public synchronized void flush(DbCollection coll, String docName, PropertyMap properties)
throws IOException {