Merge branch 'makebuildserver/default_memory' into 'master'

makebuildserver: change mem default 4 GB

See merge request fdroid/fdroidserver!358

diff --combined makebuildserver
index 27a952b8e4cd6de3ec3a0ea9e44e78a70f0d81c1,08f07d0afcabb389e802f034ea9194e625adec02..64280c35adeda549ebdd8c0407f9e8102cbbe0b3
--- 1/makebuildserver
--- 2/makebuildserver
+++ b/makebuildserver
@@@ -58,7 -58,8 +58,7 @@@ logger.debug('cachedir set to: %s', cac
  config = {
      'basebox': 'jessie64',
      'baseboxurl': [
 -        pathlib.Path(os.path.join(cachedir, 'jessie64.box')).as_uri(),
 -        'https://f-droid.org/jessie64.box',
 +        pathlib.Path(os.path.join(cachedir, 'jessie64.box')).as_uri()
      ],
      'debian_mirror': 'http://http.debian.net/debian/',
      'apt_package_cache': False,
@@@ -66,7 -67,7 +66,7 @@@
      'boot_timeout': 600,
      'cachedir': cachedir,
      'cpus': 1,
-     'memory': 1024,
+     'memory': 2048,
      'hwvirtex': 'off',
      'vm_provider': 'virtualbox',
  }
@@@ -524,9 -525,9 +524,9 @@@ def main()
      debug_log_vagrant_vm(serverdir, config)
      try:
          v.up(provision=True)
 -    except fdroidserver.vmtools.FDroidBuildVmException as e:
 +    except subprocess.CalledProcessError:
          debug_log_vagrant_vm(serverdir, config)
 -        logger.exception('could not bring buildserver vm up. %s', e)
 +        logger.error("'vagrant up' failed, is the base box missing?")
          sys.exit(1)
  
      if config['copy_caches_from_host']: