chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4b51cc2) | patch
vmtools: remove old vagrant workaround
authorMarcus Hoffmann <bubuiic@aol.com>
Fri, 24 Nov 2017 23:38:00 +0000 (00:38 +0100)
committerMarcus Hoffmann <bubuiic@aol.com>
Fri, 24 Nov 2017 23:38:00 +0000 (00:38 +0100)
commitb9b262422f17d540fed44fd5600773189101e4fb
treeb8295c1384b7fbf6e665e77dacab15b4a4662983tree | snapshot
parent4b51cc273aa20bd0162a6883244f87241c4a8cf8commit | diff
vmtools: remove old vagrant workaround

This was introduced in cd23bb933c7c5d67cff35ada0f5edeac917c791f
apparently to work around problems in vagrant 1.3.5.

This seems not to be necessary any more, I have never had a problem with
those sleeps removed.
fdroidserver/vmtools.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.