From 00a44921db5860749c908574158e7f27438514f4 Mon Sep 17 00:00:00 2001
From: matteob8 <matteob8@yahoo.it>
Date: Mon, 21 Apr 2025 20:54:43 +0200
Subject: [PATCH] Update http_server.pl

changed top/0 to the more meaningful run/0 name.
---
 src/lib/http/http_server.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lib/http/http_server.pl b/src/lib/http/http_server.pl
index 1fd67b1a..598da3d6 100644
--- 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>
-- 
2.54.0