From d8cae77fca4c7358e1b89b9317a195b4a6c47324 Mon Sep 17 00:00:00 2001
From: GeorgianaElena <georgiana.dolocan@gmail.com>
Date: Mon, 15 Jul 2019 11:03:06 +0300
Subject: [PATCH] Reload proxy after modifying the ports

---
 docs/topic/tljh-config.rst | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/topic/tljh-config.rst b/docs/topic/tljh-config.rst
index e4eeab6..fe70fa1 100644
--- a/docs/topic/tljh-config.rst
+++ b/docs/topic/tljh-config.rst
@@ -88,6 +88,7 @@ Ports
 
     sudo tljh-config set http.port 8080
     sudo tljh-config set https.port 8443
+    sudo tljh-config reload proxy
 
 .. _tljh-set-user-lists: