From c4f0707b94f246d9315fd49bbafd5b7fd0953a39 Mon Sep 17 00:00:00 2001
From: mb <mail@manettaberends.nl>
Date: Wed, 14 Jul 2021 13:25:44 +0200
Subject: [PATCH] 'README.md' updaten

---
 README.md | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index bf44d64..2fcd61e 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,11 @@
 Work in progress for the Reclaiming Digital Infrastructures event series.
-=======
+
 # Reclaiming Digital Infrastructures - documentation
+
+* Uses Flask, Etherpad-lite, Etherpump, Paged.js, Pandoc
+* Runs on port `5588`
+
+# Debugging
+
+* To restart the flask application: `sudo supervisorctl restart rdi`
+* To kill the flask application, when it triggers an "address already in use" error: `sudo netstat -nlp | grep 5588` + `kill 12345`