watcher.js 438 B

1234567891011121314151617
  1. (function (window, WsRpc) {
  2. var cli = new WsRpc()
  3. cli.export({
  4. 'reload': function (result) {
  5. result()
  6. console.log('Reload should happen')
  7. window.location.reload()
  8. }
  9. })
  10. cli.connect('ws://' + window.location.host + '/.httpServe/_reload/ws')
  11. cli.onopen = function () {
  12. cli.call('watch', window.location.pathname).then(function (res) {
  13. console.log('Watching:', res)
  14. })
  15. }
  16. })(window, WsRpc)