DB Doctor with Recording enabled and using Database replication

When we need to run doctor on some DB file, which is used on ObjectDB master server.
I suppose, that we need in that case delete recording data, and copy fixed file manually also to all slaves?
Or is there any simpler way?

Yes, if you run the Doctor to fix a database, i.e. create a new database file, you will have to start the replication again with a copy of the new (fixed) database for the slave to start with and with no recording files.