Checkpointing my multi-server code