Change server port number in extension


in the Firefox extension, how can I change the port number from the default 8081 to something else? This port is already taken on my system.

The advanced settings don’t seem to have an option for that.

Just use “Other server” and enter e.g.

Thanks! I didn’t try very hard, but the localhost thing confused me a bit.