Merge remote-tracking branch 'upstream/master'

[nominatim.git] / Vagrantfile

diff --git a/Vagrantfile b/Vagrantfile
index 57e64c2c090bcb3addc53e5ffac801f214ddf7d7..7f5f245931269c618d30c6706740b327ec39e66d 100644 (file)
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -38,7 +38,7 @@ Vagrant.configure("2") do |config|
     lv.memory = 2048
     lv.nested = true
     if ENV['CHECKOUT'] != 'y' then
     lv.memory = 2048
     lv.nested = true
     if ENV['CHECKOUT'] != 'y' then

-      override.vm.synced_folder ".", "/home/vagrant/Nominatim", type: 'nfs'
+      override.vm.synced_folder ".", "/home/vagrant/Nominatim", type: 'nfs', nfs_udp: false

     end
   end
 
     end
   end