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

keep server log name

pull/1151/head
Min RK 2022-04-28 13:07:11 +02:00 zatwierdzone przez GitHub
rodzic c09d66fea6
commit 5df775aac6
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
1 zmienionych plików z 1 dodań i 1 usunięć
Pokaż statystyki Ściągnij plik aktualizacji Ściągnij plik porównania Expand all files Collapse all files

2
repo2docker/buildpacks/repo2docker-entrypoint
Wyświetl plik

@ -33,7 +33,7 @@ def main():
if "REPO_DIR" in os.environ: if "REPO_DIR" in os.environ:
log_dirs.insert(0, os.environ["REPO_DIR"]) log_dirs.insert(0, os.environ["REPO_DIR"])
for d in log_dirs: for d in log_dirs:
log_path = os.path.join(d, 'log.txt') log_path = os.path.join(d, ".jupyter-server-log.txt")
try: try:
log_file = open(log_path, "ab") log_file = open(log_path, "ab")
except PermissionError: except PermissionError: