search

ctn-archive / nengo_gui_2014

HTML5 graphical interface for Nengo -- now obsolete! Please use https://github.com/nengo/nengo_gui instead
Other
6 stars 0 forks source link

Auto-reload externally modified files #112

Open mossblaser opened 10 years ago

mossblaser commented 10 years ago

To enhance the experience for those using external editors (and make it as slick as using the internal editor).

arvoelke commented 10 years ago

Note: This is how Tornado does it.

mossblaser commented 10 years ago

Looking at the help, -r or --refresh will do this by polling. May be nicer to use inotify (and its' platform specific friends).

tcstewar commented 10 years ago

the other difficulty here is pushing the changed code (that we detect by inotify or whatever) to the client's browser. At the moment we don't have any push capability (indeed, the entire server system is completely stateless).