当小程序服务器域名变更后，发布的小程序会无法自动更新为最新域名。

必须让旧用户删除小程序再重新访问，这个算是BUG吗？

有啥好的修复方案。