credits
ezhil.py : preserve command line behavior with the file input batch mode.
earlier change to webserver update bjorked this, but now restored with webserver timeout intact, as well as batch mode.
ezhil_tests/infinite_loop.n : demo for webserver when we have tests oneday
ezhil.py : preserve command line behavior with the file input batch mode.
earlier change to webserver update bjorked this, but now restored with webserver timeout intact, as well as batch mode.
ezhil_tests/infinite_loop.n : demo for webserver when we have tests oneday