While you migrate Domino files to Office 365 mailboxes, you certainly do not require shutting down server. In fact, it is important that the Domino server should be up and must be in a good functioning mode.