Ah, I understand.
I agree that this happens on Dashingdon and in ChoiceScript IDE, but I fixed that bug two years ago, in 2020, in the official version of ChoiceScript on Github. It doesn’t reproduce when I use run-server.bat locally.
I’m a bit surprised that Dashingdon and ChoiceScript IDE are that far out of date!