From e99256ef8e6440d2b0677680dd39972855cfc6ef Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Henning?= <soeren.henning@email.uni-kiel.de>
Date: Thu, 17 Dec 2020 14:30:52 +0100
Subject: [PATCH] Add hint on stoping Jupyter server from Docker

---
 analysis/README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/analysis/README.md b/analysis/README.md
index 651effe91..5fc0179bf 100644
--- a/analysis/README.md
+++ b/analysis/README.md
@@ -22,6 +22,7 @@ This option requires Docker to be installed. You can build and run a container u
 to set the `results` volume to the directory with your execution results and `results-inst` to a directory where the
 final scalability graphs should be placed. The output of the *run* command gives you an URL of the form
 `http://127.0.0.1:8888/?token=...`, which you should open in your webbrowser. From there you can access all notebooks.
+You can stop the Jupyter server with Crtl + C.
 
 ```sh
 docker build . -t theodolite-analysis
-- 
GitLab