Add ability to set web-server port via API about webpy HOT 7 CLOSED

How about making it take from web.config if specified? Something like this:

web.config.default_port = 8090
app.run()

from webpy.

I guess that would be sufficient, however I would prefer it be per application (config is global, right?).

Although not needed in my case, someone else might wish to run multiple servers on different ports.

from webpy.

Actually I just saw that config seems to hold other global state (smtp config for example), so there is precident.

web.config.default_port makes sense in that case.

from webpy.

we might want to support specifying the interface too. 127.0.0.1 to bind only on localhost.
Should we call it default_bind_address?

web.ctx.default_bind_address = '127.0.0.1:9000'

or just port:

web.ctx.default_bind_address = 9000

from webpy.

How about just calling it interface?

web.ctx.default_interface = 127.0.0.1:9000

And, in the port only case

web.ctx.default_interface = :9000

(i.e. starts with ':')

from webpy.

This can be solved by calling runsimple like this.

if __name__ == "__main__":
   web.httpserver.runsimple(app.wsgifunc(), ("0.0.0.0", 8888))

from webpy.

For the port only case in web.ctx.default_interface

web.ctx.default_interface = ::1

Do I now listen on port 1 with the default interface or on IPv6 loopback and the default port? Of course this:

web.ctx.default_interface = '[::1]'

would make it clear for IPv6.

I'd like a a default_address (as interfaces can have multiple addresses) and a default_port. Keeping with the explicit is better than implicit (pep-0020, second line in the zen of python) - yes I'm being a smartass here. Sorry :)

from webpy.