Add port setting #130

Merged
vimaexd merged 1 commit from master into master 2020-12-15 03:09:23 -03:00
vimaexd commented 2020-12-14 17:31:04 -03:00 (Migrated from github.com)

Sometimes when hosting locally, or using something like a reverse proxy it's helpful to be able to quickly change the port of the webserver in a configuration file, so I added this option to the settings.js file.

Sometimes when hosting locally, or using something like a reverse proxy it's helpful to be able to quickly change the port of the webserver in a configuration file, so I added this option to the settings.js file.
GDColon commented 2020-12-15 03:09:26 -03:00 (Migrated from github.com)

Works for me

Works for me
Sign in to join this conversation.
No description provided.