make wsproxy's proxying port pool configurable

lablup / backend.ai-webui

Backend.AI Web UI for web / desktop app (Windows/Linux/macOS). Backend.AI Web UI provides a convenient environment for users, while allowing various commands to be executed without CLI. It also provides some visual features that are not provided by the CLI, such as dashboards and statistics.

https://www.backend.ai

GNU Lesser General Public License v3.0

110 stars 73 forks source link

make wsproxy's proxying port pool configurable #1389

Open kyujin-cho opened 2 years ago

kyujin-cho commented 2 years ago

webui's wsproxy currently determines proxy worker's listening port by choosing 100 random integers. We need to rewrite this logic, so that user can choose which ports to use when configuring webui.

[ ] Choose how to feed option to wsproxy (e.g. environment variable, ...)
[ ] Make wsproxy use chosen port pool instead of randomly selected ports if option is given

lizable commented 2 years ago

Updated Comments

Fwiw, this issue would be a good example of applying a multi-range slider. This issue is more likely to apply the environment variables right before executing wsproxy server. So providing a configurable user interface would be a further task.