There are other ways to get liveness, though. You could make it such that multiple instances of the program can run and make, e.g., sure that new logins go to t

There are other ways to get liveness, though. You could make it such that multiple instances of the program can run and make, e.g., sure that new logins go to the new one. Once the last login has disappeared from the old program it can be shut down. As many comments note, the proposal of this post seems a disaster regarding reliablity/predictability.