Open jeffmaury opened 3 days ago
Setttings should have an entry for the port number (default 10434 ?). If port is busy when starting the extension, allocate a random port and update the settings (so that external CLIs have a way to get the port number)
Setttings should have an entry for the port number (default 10434 ?). If port is busy when starting the extension, allocate a random port and update the settings (so that external CLIs have a way to get the port number)