Oh, I see. So there's not much of a reason to use the "stop/start server" 
buttons? Maybe a "restart web2py" button on the console would be nice.

Reply via email to