chiark / gitweb /
buildserver: run_via_vagrant_ssh() to run cmds via python-vagrant
authorHans-Christoph Steiner <hans@eds.org>
Thu, 23 Jun 2016 14:38:39 +0000 (16:38 +0200)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 23 May 2017 18:04:08 +0000 (20:04 +0200)
commit4cde71552fa42b47f527efd366ba55566c096be8
tree61b9bd3dfeb737910a7843ad7f260539ee898078
parent6464ec55b776ff2eb0c72cf280122d983c675555
buildserver: run_via_vagrant_ssh() to run cmds via python-vagrant

This moves the last vagrant call in a subprocess.
makebuildserver