Change default server port to 9999 as 8080 is frequently forwarded to the guest machine
Change default server port to 9999 as 8080 is frequently forwarded to the guest machine

fgrehm/vagrant-notify,urands/vagrant-notify-windows,tony-ten/vagrant-notify