##// END OF EJS Templates
close websocket connections on ping/pong timeout...
close websocket connections on ping/pong timeout we recently added ws pings for keep alive, and we can now use the longs to close dead connections. This can apparently happen when connections are not closed cleanly, e.g. on VPNs. Setting ws_ping_timeout = 0 disables the ping mechanism altogether.

File last commit:

r12249:4563b2ee
r17635:37c057ce
Show More
base.py
35 lines | 1.0 KiB | text/x-python | PythonLexer
"""
Basic post processor
"""
#-----------------------------------------------------------------------------
#Copyright (c) 2013, the IPython Development Team.
#
#Distributed under the terms of the Modified BSD License.
#
#The full license is in the file COPYING.txt, distributed with this software.
#-----------------------------------------------------------------------------
#-----------------------------------------------------------------------------
# Imports
#-----------------------------------------------------------------------------
from ..utils.base import NbConvertBase
#-----------------------------------------------------------------------------
# Classes
#-----------------------------------------------------------------------------
class PostProcessorBase(NbConvertBase):
def __call__(self, input):
"""
See def postprocess() ...
"""
self.postprocess(input)
def postprocess(self, input):
"""
Post-process output from a writer.
"""
raise NotImplementedError('postprocess')