3f251efb9b
Concurrent WebREPL connections were never supported, now actually check for this.
Concurrent WebREPL connections were never supported, now actually check for this.