Either that, or press and hold the power button for a slow 10 count.
As long as it was only a software issue, it should come back up ok. If MS wants to check the file system prior to logging in, have it do so.
She did that.