hot-reload javascript files

[zhengxiaoyao0716]

hot-reload the javascript files without restart the backend-app when click the reload_script_bodies button, that's really useful when we just want to upgrade static scripts. I have already used this feature to develop my custom frontend scripts .

[AUTOMATIC1111]

this button already does it

[zhengxiaoyao0716]

this button already does it

This button will restart the app, instead of live-reload.

[AUTOMATIC1111]

It does not restart the app. You still have the same process running after you press the button.

[zhengxiaoyao0716]

But I found the gradio app was restarted and the public url was changed.

[zhengxiaoyao0716]

@AUTOMATIC1111 Well, I'm sorry but, maybe our differences are here: I lean towards traditional browser-server app, server should always be available, we can easily upgrade or extends the app without suspend the server. Based on the same consideration, I add feature auto install scripts to simplified maintenance toolchain, share prompt online to improve users experience. But you seems just treat it as a local client, restart the gradio and interrupt the service temporarily is not a problem for you, no toolchain for plugin, and no multi-users scenes need to consider.

[sgmklp]

when I use the Restart Gradio and Refresh components button to reset web, I get error like this: And I try the last ui.py before this merge, it works well. It will not affect normal use, but I hope this error can be resolved. @zhengxiaoyao0716