Change default dev port to 7000

2021-04-29 11:48:17 +02:00
parent 52e913dfdd
commit b78a161914
5 changed files with 8 additions and 7 deletions
--- a/4
+++ b/4
@ -11,8 +11,8 @@ Vagrant.configure(2) do |config|
  end
  config.vm.network 'forwarded_port',
                    host_ip: ENV['LISTEN_ADDRESS'] || '127.0.0.1',
-                    host: 3000,
-                    guest: 3000
+                    host: 7000,
+                    guest: 7000
  config.vm.synced_folder '.', '/home/vagrant/codeocean'
  config.vm.synced_folder '../dockercontainerpool', '/home/vagrant/dockercontainerpool'
  config.vm.provision 'shell', path: 'provision/provision.vagrant.sh', privileged: false