From d2b89eee50bd5a46ec5f59c1b93b2cbcb2caed8a Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 5 Jun 2023 22:03:58 -0400
Subject: [PATCH] echo_eio: make `quit` into a button, to use POST

---
 examples/echo_eio.ml | 20 ++++++++++++++------
 1 file changed, 14 insertions(+), 6 deletions(-)

diff --git a/examples/echo_eio.ml b/examples/echo_eio.ml
index 8c4bdb68..5318e8e5 100644
--- a/examples/echo_eio.ml
+++ b/examples/echo_eio.ml
@@ -120,9 +120,9 @@ let () =
   (* stats *)
   S.add_route_handler server
     S.Route.(exact "stats" @/ return)
-      (fun _req ->
-        let stats = get_stats () in
-        S.Response.make_string @@ Ok stats);
+    (fun _req ->
+      let stats = get_stats () in
+      S.Response.make_string @@ Ok stats);
 
   S.add_route_handler server ~meth:`POST
     S.Route.(exact "quit" @/ return)
@@ -183,11 +183,19 @@ let () =
                       ];
                     li []
                       [
-                        pre []
+                        pre
+                          [ A.style "display: inline" ]
                           [
-                            a [ A.href "/quit/" ] [ txt "/quit (POST)" ];
-                            txt " have the server stop";
+                            a [ A.href "/quit" ] [ txt "/quit" ];
+                            txt " (POST) to stop server";
                           ];
+                        form
+                          [
+                            A.style "display: inline";
+                            A.action "/quit";
+                            A.method_ "POST";
+                          ]
+                          [ button [ A.type_ "submit" ] [ txt "quit" ] ];
                       ];
                   ];
               ];