Revision a3024cbbc31bfadb22b06a4cfb735de1249db97a

Committed on 29/08/2016 4:30 am by Web Summer Camp 2016 <websc@websummercamp.com> [GitHub Diff]

fixes to provisioning script