Checkpoint - domain server code