import web url_list = [ 'index.html', 'lorem.html', 'blah.html ] EntryPoint args = integer[argc], string[argv] site = web.web site.set_url_list(global::url_list) site.deploy('0.0.0.0', 80) end