Allow multiple REPL server at once

erg-lang / erg

A statically typed language compatible with Python

http://erg-lang.org

Apache License 2.0

2.69k stars 55 forks source link

Allow multiple REPL server at once #86

Closed ytoml closed 2 years ago

ytoml commented 2 years ago

Fixes #85 . Added procedure that checks whether default port for REPL server(8736) is free. If not, it just asking OS to allocate free port by bind TSocketAddrV4::new(Ipv4Addr::LOCALHOST, 0).

@mtshiba

mtshiba commented 2 years ago

Thank you!