##// END OF EJS Templates
Check time of last ping before timing out a missing pong.
Check time of last ping before timing out a missing pong.
Richard Everson -
r17841:d3b9eea2
Show More
Name Size Modified Last Commit Author
/ IPython / external / decorator
__init__.py Loading ...
_decorator.py Loading ...