Since the behavior is undefined when the computer is off this implementation seems correct in your hypothetical as well.