Closed xivh closed 11 months ago
With the default settings, anybody can access the server. The default should be semantra --host 127.0.0.1 --port 8080.
semantra --host 127.0.0.1 --port 8080
With the default settings, anybody can access the server. The default should be
semantra --host 127.0.0.1 --port 8080
.