From: matteob8 <matteob8@yahoo.it>
Date: Mon, 21 Apr 2025 18:54:43 +0000 (+0200)
Subject: Update http_server.pl
X-Git-Tag: v0.10.0~51^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=00a44921db5860749c908574158e7f27438514f4;p=scryer-prolog.git

Update http_server.pl

changed top/0 to the more meaningful run/0 name.
---

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>