Current defaults for mod_http are:

@bool http_active = False

and

@int http_port = 8080

I propose these be changed to True and 8130.

Having to set a setting to True to get a plugin to do something makes
no sense, if you don't want the plugin active, don't enable it.

And 8080 is a very common default port for local web servers, so it's
bound to clash with things.  8130 seems like a good choice for Leo,
seeing L E O is 1 3 0, rendered in number letters.

BTW, I fixed a bug in mod_http with inconsistencies about whether the
setting was 'http_port' or 'port', it's consistently 'http_port', now.

Cheers -Terry

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/leo-editor?hl=en.

Reply via email to