##// END OF EJS Templates
Date is properly removed from JSON reply before WebSocket forward....
Date is properly removed from JSON reply before WebSocket forward. * Both the header and parent_header have a date field that cannot be json serialized. This field is just removed for now, but in the future, we will covert the date to a ISO8601 field. * Better error handling around this code has also been added to prevent the server from crashing due to malformed messages.
Brian E. Granger -
r4561:b796f247
Show More
Name Size Modified Last Commit Author
/ IPython / frontend / html
notebook
__init__.py Loading ...