##// END OF EJS Templates
Make heartmonitor.Heart monitorable...
Make heartmonitor.Heart monitorable If a mon_addr is given, send any ping to this zmq socket. This can be used to monitor the heartbeat on the engine side to check if the cluster controller is still active. Also correct the code on __main__ to work (for testing purpose). Signed-off-by: Jan Schulz <jasc@gmx.net>

File last commit:

r7706:0f7d5959
r8282:0803a46a
Show More
README
15 lines | 833 B | text/plain | TextLexer
MinRK
add unminified/README...
r6610 We use minified versions of JQuery / jQueryUI and google-code-prettify in the Notebook.
MinRK
move unminified js to external/js...
r7706 Some package managers require full versions alongside minified,
and they can be dropped in here as necessary.
MinRK
add unminified/README...
r6610
origins of our minified js:
prettify: http://google-code-prettify.googlecode.com/files/prettify-small-1-Jun-2011.tar.bz2
MinRK
update jQuery/UI sources in unminified readme
r7600 jQuery-1.7.1: http://code.jquery.com/jquery-1.7.1.min.js
jQueryUI menubar branch checkpoint: (generated by ant build from the source tree)
MinRK
add unminified/README...
r6610
And their unminified counterparts:
prettify: http://google-code-prettify.googlecode.com/files/prettify-1-Jun-2011.tar.bz2
MinRK
update jQuery/UI sources in unminified readme
r7600 jQuery-1.7.1: http://code.jquery.com/jquery-1.7.1.js
jQueryUI version we ship: https://github.com/jquery/jquery-ui/tarball/ba8f147e4d69948aff4e956333098fb9360e3865
and the menubar branch in general: https://github.com/jquery/jquery-ui/tree/menubar