Network error breaks mach on Windows

[learning]

Network error breaks mach on Windows

1. .\mach.bat build -d
2. Downloading dependencies...
3. Network error
4. Error: File is not a zip file

C:\Users\Learning\Documents\Projects\servo> .\mach.bat build -d
**********************************************************************
** Visual Studio 2017 Developer Command Prompt v15.9.3
** Copyright (c) 2017 Microsoft Corporation
**********************************************************************
[vcvarsall.bat] Environment initialized for: 'x64'
Installing missing MSVC dependencies...
Extracting llvm-6.0.0...Error running mach:

    ['build', '-d']

The error occurred in code that was called by the mach command. This is either
a bug in the called code itself or in the way that mach is calling it.

You should consider filing a bug for this issue.

If filing a bug, please include the full output of mach, including this error
message.

The details of the failure are as follows:

BadZipfile: File is not a zip file

  File "C:\Users\Learning\Documents\Projects\servo\python\servo\build_commands.py", line 280, in build
    self.ensure_bootstrapped(target=target)
  File "C:\Users\Learning\Documents\Projects\servo\python\servo\command_base.py", line 798, in ensure_bootstrapped
    Registrar.dispatch("bootstrap", context=self.context)
  File "C:\Users\Learning\Documents\Projects\servo\python\_virtualenv\Lib\site-packages\mach\registrar.py", line 123, in dispatch
    return self._run_command_handler(handler, context=context, **kwargs)
  File "C:\Users\Learning\Documents\Projects\servo\python\_virtualenv\Lib\site-packages\mach\registrar.py", line 90, in _run_command_handler
    result = fn(**kwargs)
  File "C:\Users\Learning\Documents\Projects\servo\python\servo\bootstrap_commands.py", line 59, in bootstrap
    return bootstrap.bootstrap(self.context, force=force)
  File "C:\Users\Learning\Documents\Projects\servo\python\servo\bootstrap.py", line 392, in bootstrap
    return bootstrapper(context, force=force)
  File "C:\Users\Learning\Documents\Projects\servo\python\servo\bootstrap.py", line 329, in windows_msvc
    extract(zip_path, deps_dir)
  File "C:\Users\Learning\Documents\Projects\servo\python\servo\util.py", line 193, in extract
    ZipFileWithUnixPermissions(src).extractall(dst)
  File "C:\Python27\lib\zipfile.py", line 770, in __init__
    self._RealGetContents()
  File "C:\Python27\lib\zipfile.py", line 811, in _RealGetContents
    raise BadZipfile, "File is not a zip file"

And I can't do anything after that, even mach clean:

PS C:\Users\Learning\Documents\Projects\servo> .\mach.bat clean
**********************************************************************
** Visual Studio 2017 Developer Command Prompt v15.9.3
** Copyright (c) 2017 Microsoft Corporation
**********************************************************************
[vcvarsall.bat] Environment initialized for: 'x64'
Installing missing MSVC dependencies...
Extracting llvm-6.0.0...Error running mach:

    ['clean']

The error occurred in code that was called by the mach command. This is either
a bug in the called code itself or in the way that mach is calling it.

You should consider filing a bug for this issue.

If filing a bug, please include the full output of mach, including this error
message.

The details of the failure are as follows:

BadZipfile: File is not a zip file

  File "C:\Users\Learning\Documents\Projects\servo\python\servo\build_commands.py", line 623, in clean
    self.ensure_bootstrapped()
  File "C:\Users\Learning\Documents\Projects\servo\python\servo\command_base.py", line 798, in ensure_bootstrapped
    Registrar.dispatch("bootstrap", context=self.context)
  File "C:\Users\Learning\Documents\Projects\servo\python\_virtualenv\Lib\site-packages\mach\registrar.py", line 123, in dispatch
    return self._run_command_handler(handler, context=context, **kwargs)
  File "C:\Users\Learning\Documents\Projects\servo\python\_virtualenv\Lib\site-packages\mach\registrar.py", line 90, in _run_command_handler
    result = fn(**kwargs)
  File "C:\Users\Learning\Documents\Projects\servo\python\servo\bootstrap_commands.py", line 59, in bootstrap
    return bootstrap.bootstrap(self.context, force=force)
  File "C:\Users\Learning\Documents\Projects\servo\python\servo\bootstrap.py", line 392, in bootstrap
    return bootstrapper(context, force=force)
  File "C:\Users\Learning\Documents\Projects\servo\python\servo\bootstrap.py", line 329, in windows_msvc
    extract(zip_path, deps_dir)
  File "C:\Users\Learning\Documents\Projects\servo\python\servo\util.py", line 193, in extract
    ZipFileWithUnixPermissions(src).extractall(dst)
  File "C:\Python27\lib\zipfile.py", line 770, in __init__
    self._RealGetContents()
  File "C:\Python27\lib\zipfile.py", line 811, in _RealGetContents
    raise BadZipfile, "File is not a zip file"

[jdm]

Sounds like mach clean should also remove self.context.sharedir.

[learning]

My solution is delete the bad zip file and download it again, it works for me.