Change development server port to 8080

[juagargi]

Our development server is located at

SCIONLAB_SITE = 'http://localhost:8000'

(That variable is used when generating the call to the scionlab-config script).

Unfortunately this clashes with the Vagrantfile we deploy for user ASes, due to the port redirection:

config.vm.network "forwarded_port", guest: 8000, host: 8000, protocol: "tcp"

This situation forces us to edit the Vagrantfile to remove or edit that line.

Changing the setting to have the development server somewhere else would remove this small inconvenience.

[juagargi]

This is actually more complicated that I thought: there is no easy way to set the reverse port forwarding while provisioning the VM. This is unfortunate, because in development, we would like to connect to our coordinator running locally in our host machine, from the guest VM.

For future reference:

• http://vagrant.1086180.n5.nabble.com/Reverse-port-forwarding-td12706.html
• https://www.vagrantup.com/docs/vagrantfile/ssh_settings (but ssh_settings don't apply to provisioning)
• https://stackoverflow.com/a/31549164/817736