Currently we assume the server name is never changed, and changing it can cause subtle corruption that gets worse over time. For example, joining rooms with the "wrong" user ID, or believing that rooms are already joined when they aren't.
We should either explode if the server name changes, preventing startup, or properly support it. TBD which is best (but exploding is easiest).
Currently we assume the server name is never changed, and changing it can cause subtle corruption that gets worse over time. For example, joining rooms with the "wrong" user ID, or believing that rooms are already joined when they aren't.
We should either explode if the server name changes, preventing startup, or properly support it. TBD which is best (but exploding is easiest).