mirror
/
repo2docker
kopia lustrzana https://github.com/jupyterhub/repo2docker
1
0
Forkuj 0
Kod Zgłoszenia Projekty Wydania Wiki Aktywność

Merge pull request #575 from yuvipanda/nod-ebug 

Check if '--debug' is set properly
pull/581/head
Tim Head 2019-02-08 08:16:08 +01:00 zatwierdzone przez GitHub
rodzic 9c2c7b6ae2 5ba1e0dd44
commit 0adb11fea2
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
1 zmienionych plików z 2 dodań i 2 usunięć
Pokaż statystyki Ściągnij plik aktualizacji Ściągnij plik porównania Expand all files Collapse all files

4
repo2docker/__main__.py
Wyświetl plik

@ -334,12 +334,12 @@ def main():
r2d.start() r2d.start()
except docker.errors.BuildError as e: except docker.errors.BuildError as e:
# This is only raised by us # This is only raised by us
if r2d.debug: if r2d.log_level == logging.DEBUG:
r2d.log.exception(e) r2d.log.exception(e)
sys.exit(1) sys.exit(1)
except docker.errors.ImageLoadError as e: except docker.errors.ImageLoadError as e:
# This is only raised by us # This is only raised by us
if r2d.debug: if r2d.log_level == logging.DEBUG:
r2d.log.exception(e) r2d.log.exception(e)
sys.exit(1) sys.exit(1)