Update user_guide_lib.rst (#289)

mar10 · Jul 18, 2023 · 8adecb9 · 8adecb9
1 parent dafb73c
commit 8adecb9
Showing 1 changed file with 7 additions and 6 deletions.
diff --git 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.