private void ForgetSync()
{
if (Pull != null) {
Pull.Changed -= ReplicationChanged;
Pull.Stop();
Pull = null;
}
if (Push != null) {
Push.Changed -= ReplicationChanged;
Push.Stop();
Push = null;
}
}