##// END OF EJS Templates
stop channels in background threads...
stop channels in background threads stop_channels() *must* be called, to prevent fd count rising, but stop_channels waits up to 0.2s up to 4 times, and it shouldn't get in the way of the UI. This just calls stop_channels in a thread, to protect UI responsiveness.
MinRK -
r5142:aec00347
Show More
Name Size Modified Last Commit Author
/ IPython / frontend / html / notebook / static
codemirror
css
jquery
js
pagedown
prettify
favicon.ico Loading ...