From 8adecb9346f414a46f70fcf4088fea3ae6468e0f Mon Sep 17 00:00:00 2001
From: Wermeille Bastien <bastien.wermeille@gmail.com>
Date: Tue, 18 Jul 2023 15:57:51 +0200
Subject: [PATCH] Update user_guide_lib.rst (#289)

---
 docs/source/user_guide_lib.rst | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/docs/source/user_guide_lib.rst b/docs/source/user_guide_lib.rst
index 93b18284..f60df31d 100644
--- a/docs/source/user_guide_lib.rst
+++ b/docs/source/user_guide_lib.rst
@@ -58,12 +58,13 @@ Here we keep most of the default options and use the
       "wsgi_app": app,
   }
   server = wsgi.Server(**server_args)
-try:
-    server.start()
-except KeyboardInterrupt:
-    print("Received Ctrl-C: stopping...")
-finally:    
-    server.stop()
+
+  try:
+      server.start()
+  except KeyboardInterrupt:
+      print("Received Ctrl-C: stopping...")
+  finally:    
+      server.stop()
 
 Options are passed as Python dict, see the :doc:`user_guide_configure` for
 details.