Update http_server.pl

changed top/0 to the more meaningful run/0 name.
2025-04-21 20:54:43 +02:00
parent d79bc199b3
commit 00a44921db
1 changed files with 1 additions and 1 deletions
--- a/src/lib/http/http_server.pl
+++ b/src/lib/http/http_server.pl
@@ -26,7 +26,7 @@ text_handler(Request, Response) :-
 parameter_handler(User, Request, Response) :-
  http_body(Response, text(User)).

-top:-
+run:-
  http_listen(7890, [
    get(echo, text_handler),                 % GET /echo
    post(user/User, parameter_handler(User)) % POST /user/<User>