Remote REPL client and server
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
goliatone opened this issue 6 years ago · comments
Add refreshClients method to REPL server. To enable hot reloading we need to notify clients that they should reload.
refreshClients
Related to #12 and #13.