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 1fd67b1a06654dbaf566e3650c1643b42de64dde..598da3d6e80a102b62e335a373c25c02f6a74b33 100644 (file)
--- 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>