From 0bcc105c38871859468b1df4ca938db5cddaa540 Mon Sep 17 00:00:00 2001 From: Tobias Hangleiter Date: Tue, 23 Jun 2020 11:50:04 +0200 Subject: [PATCH] Add copyright notice for adopted jupyter code --- filter_functions/util.py | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/filter_functions/util.py b/filter_functions/util.py index 1d05a6b..02af417 100644 --- a/filter_functions/util.py +++ b/filter_functions/util.py @@ -103,9 +103,12 @@ def _list_running_servers(runtime_dir: str = None) -> Generator: directory, and yield dicts of their information, each one pertaining to a currently running notebook server instance. - Copied from notebook.notebookapp.list_running_servers() (version 5.7.8) - since the highest version compatible with Python 3.5 (version 5.6.0) - has a bug. + Copied from ``notebook.notebookapp.list_running_servers()``: + + - Copyright (c) 2001-2015, IPython Development Team + - Copyright (c) 2015-, Jupyter Development Team + + All rights reserved. """ if runtime_dir is None: runtime_dir = jupyter_runtime_dir()